code wiki / _hdl_build / nx_ss_verify_gate.nx

nx_ss_verify_gate.nx

buildroot/runtime/_hdl_build/nx_ss_verify_gate.nx

7406 B154 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic ss
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_verdict.nx nx_seg_store.nx nx_syscalls.nx nx_ss_verify_gate.nx

imports: nx_gate_verdict.nxnx_seg_store.nxnx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_head gv_puts sys_write ↻ sys_mkdir sys_mmap ↻ ss_begin ss_begin_cap sys_mmap ↻ ssv_kbuf ssv_vbuf ss_khash ss_add2 ss_w32 ss_write_seg ss_sr_new sys_mmap ↻ ss_segid_ok ss_sr_map sys_mmap ↻ sys_write ↻ ss_cat ss_catn sys_mmap ↻

structs

none

consts

23const SSV_K: i64 = 64
24const SSV_SEGID: i64 = 700001
25const SSV_ABSENT_SEGID: i64 = 700999
26const SSV_KLEN: i64 = 6
27const SSV_VLEN: i64 = 5
28const SSV_DIRMODE: i64 = 0x1ed
29const SSV_PROBE_I: i64 = 7
30const SSV_KIND_I: i64 = 9
31const SSV_KLEN_I: i64 = 13

functions

34func ssv_kbuf(n: i64, out: *u8) -> i64
called by 1: main
45func ssv_vbuf(n: i64, out: *u8) -> i64
called by 1: main
56func ssv_fired(prefix: *u8, segid: i64, tkp: *i64, tkl: *i64, tkind: *i64, tvp: *i64, tvl: *i64, nk: i64, hidx: *i64, hcap: i64) -> i64
called by 1: main calls 1: ss_verify_merged
61func main() -> i64
calls 16: gv_ctrgv_headsys_mkdirsys_mmapss_beginssv_kbuf+10