code wiki / _hdl_build / nx_uigen_l1_gate.nx

nx_uigen_l1_gate.nx

buildroot/runtime/_hdl_build/nx_uigen_l1_gate.nx

5081 B89 linesdepth 4pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic uigen
docsdependenciesstructsconstsfunctions

dependencies 4 imports · 0 importers

nx_gate_gn.nx nx_syscalls.nx nx_uigen_l1.nx nx_gate_verdict.nx nx_uigen_l1_gate.nx

imports: nx_gate_gn.nxnx_syscalls.nxnx_uigen_l1.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main 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 ↻ gp sys_write ↻ l1_page sk_doc_open sk_head he_puts sk_doc_styles he_puts ↻ sk_header_open he_puts ↻ sk_nav_item he_puts ↻ sk_header_close he_puts ↻ l1_palette_style he_puts ↻ l1_tok he_puts ↻ l1_rgb l1_hsl_pack he_puts ↻ l1_put_u8 l1_layout_style he_puts ↻

structs

none

consts

none

functions

12func 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
14func contains(buf: *u8, len: i64, lit: *u8) -> i64
called by 1: main
26func csum(p: i64) -> i64 { return (p/65536) + ((p/256)%256) + (p%256) }
called by 1: main
28func main() -> i64
calls 13: sys_mmapgpl1_pagel1_hsl_packcsumcontains+7