code wiki / _hdl_build / nx_pub_ship_meet_gate.nx

nx_pub_ship_meet_gate.nx

buildroot/runtime/_hdl_build/nx_pub_ship_meet_gate.nx

5477 B71 linesdepth 6pulls 14 transitivereach 0 importersview sourcekind gate/prooftopic pub

dependencies 5 imports · 0 importers

imports: nx_gate_gn.nxnx_syscalls.nxnx_publisher.nxnx_runpath.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

none

none

13	func gp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } called by 1: main calls 1: sys_write
14	func dmk(p: *u8) -> i64 { __syscall(83, p as i64, 493, 0, 0, 0, 0); return 0 } called by 1: main
15	func djoin(d: u8, name: u8) -> u8 { let p: u8 = sys_mmap(700); pub_join(d, name, p); return p } called by 1: main calls 2: sys_mmap pub_join
16	func dunlink(path: *u8) -> i64 { __syscall(87, path as i64, 0, 0, 0, 0, 0); return 0 } called by 1: main
17	func gexists(path: u8) -> i64 { let lp: i64 = sys_mmap(16) as i64; lp[0]=0; let d: u8 = sys_read_file(path, lp); if (d as i64)==0 { return 0 } return 1 } called by 1: main calls 2: sys_mmap sys_read_file
18	func ghas(path: u8, needle: u8) -> i64 { let lp: i64 = sys_mmap(16) as i64; lp[0]=0; let d: *u8 = sys_read_file(path, lp); if (d as i64)==0 { return 0 } return pub_substr(d, lp[0], needle) } called by 1: main calls 3: sys_mmap sys_read_file pub_substr
20	func main() -> i64 calls 18: gp sys_mmap rp_wsid rp_ensure rp_path dmk+12