nx_rv64_const_probe.nx
buildroot/runtime/nx_rv64_const_probe.nx
about
nx_rv64_const_probe.nx -- verify the RV64/asm-generic CONST syscall forms my organs must migrate
to (const __syscall numbers are RV64-form by convention; the x86 backend translates. Raw x86 forms
only work when the number is absent from the translation table = landmine). Checks, each printed:
gp172 getpid (RV64 172) expect > 0
gp39 getpid (x86 39, COLLISION) expect broken (documents the live miscompile)
fd56 openat (RV64 56) /proc/self/stat RDONLY expect >= 0
ul35 unlinkat (RV64 35) on a file created via 56 expect 0, then reopen fails
sk198 socket (RV64 198) AF_INET SOCK_STREAM expect >= 0
so208 setsockopt (RV64 208) SO_REUSEADDR expect 0
license_tier: ORIGINAL expect_exit: 0
dependencies 1 imports · 0 importers
imports: nx_model_lane_core.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 13 | func main(argc: i64, argv: *i64) -> i64 |