code wiki / _hdl_build / nx_boot_revive_m6_gate.nx

nx_boot_revive_m6_gate.nx

buildroot/runtime/_hdl_build/nx_boot_revive_m6_gate.nx

15045 B293 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic boot

dependencies 5 imports · 0 importers

imports: nx_gate_gn.nxnx_syscalls.nxnx_ws_ledger.nxnx_heartbeat_monitor.nxnx_boot_revive.nx

imported by: nobody (leaf or entry point)

none

38	const G_RECCAP: i64 = 512 // bounded gate-log record size
39	const G_NOW: i64 = 1000 // injected wall-clock for the test (deterministic)
40	const G_THR: i64 = 60 // injected liveness threshold
41	const G_DONE: i64 = 3 // ledger DONE state code (== BR_WS_DONE)

44	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 2: g_logrow main calls 1: sys_write
47	func g_fresh(path: *u8) -> i64 called by 1: main calls 2: sys_openat_wr sys_close
54	func g_pidpath(base: u8, pid: i64, out: u8) -> i64 called by 1: main calls 2: fa_cat fa_catn
67	func g_uniq() -> i64 called by 1: main calls 5: sys_now_us sys_mmap fa_cat fa_catn sys_close
85	func g_contains(hay: u8, n: i64, pat: u8) -> i64 called by 1: main
99	func g_readall(path: u8, buf: u8, cap: i64) -> i64 called by 1: main calls 3: sys_openat_rd sys_read sys_close
111	func g_logrow(scratch: u8, durable: u8, label: u8, got: i64, want: u8, pass: i64) -> i64 called by 1: main calls 6: sys_mmap fa_cat fa_catn fa_appendz gp gn
130	func main() -> i64 calls 19: sys_now_realtime_sec g_uniq sys_mmap fa_cat fa_catn g_pidpath+13