code wiki / (root) / nx_rv64_const_probe.nx

nx_rv64_const_probe.nx

buildroot/runtime/nx_rv64_const_probe.nx

2010 B39 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind probetopic rv64
docsdependenciesstructsconstsfunctions

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

nx_model_lane_core.nx nx_rv64_const_probe.nx

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

main std_puts std_slen sys_write std_pdec sys_mmap std_itoa sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

13func main(argc: i64, argv: *i64) -> i64