code wiki / _hdl_build / nx_signaling_v2_cascade_gate.nx

nx_signaling_v2_cascade_gate.nx

buildroot/runtime/_hdl_build/nx_signaling_v2_cascade_gate.nx

7056 B132 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

dependencies 3 imports · 0 importers

nx_gate_base.nx nx_syscalls.nx nx_dgram_media.nx nx_signaling_v2_cascade_gate.n

imports: nx_gate_base.nxnx_syscalls.nxnx_dgram_media.nx

imported by: nobody (leaf or entry point)

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

main gw sys_write sys_mmap sys_openat_rd sys_close cg_spawn sys_fork sys_mmap ↻ sys_execve sys_exit sys_sleep_ms sys_mmap ↻ sys_munmap cg_addr sys_socket cg_join sys_mmap ↻ dgm_pack_frame dgm_wr_u32 sys_sendto cg_tmo sys_mmap ↻ sys_setsockopt sys_recvfrom dgm_parse_pkt dgm_rd_u32 ck gw ↻ dgm_rx_init cg_send sys_mmap ↻ dgm_pack_frame ↻ sys_sendto ↻ cg_tmo ↻ cg_recv sys_mmap ↻ sys_recvfrom ↻ dgm_rx_add dgm_parse_pkt ↻

structs

none

consts

10const CG_JOIN: i64 = 0x4A
11const CG_ACK: i64 = 0x4B
12const CG_ROOMFRAME: i64 = 0x4D

functions

14func grow(name: *u8, ok: i64) -> i64 { if ok==1 { gw(" PASS " as *u8) } else { gw(" FAIL " as *u8) } gw(name); gw("
calls 1: gw
16func gn(v: i64) -> i64
20func ck(name: *u8, ok: i64, p: *i64, t: *i64) -> i64
25func cg_addr(a: *u8, port: i64) -> i64
30func cg_tmo(fd: i64, sec: i64, usec: i64) -> i64
33func cg_join(fd: i64, raddr: *u8, id: *u8, room: *u8, rlen: i64) -> i64
45func cg_send(fd: i64, raddr: *u8, id: *u8, seq: i64, body: *u8, blen: i64) -> i64
52func cg_recv(fd: i64, rxm: *u8, fout: *u8, info: *i64) -> i64
58func cg_spawn(dpath: *u8, av: *i64) -> i64
66func main() -> i64