code wiki / (root) / nx_h264_sps_gate.nx

nx_h264_sps_gate.nx

buildroot/runtime/nx_h264_sps_gate.nx

3896 B83 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic h264
docsdependenciesstructsconstsfunctions

about

nx_h264_sps_gate.nx -- REFEREE for the H.264 SPS parser (rung 3). REAL worked example (Cardinal Peak): SPS NAL 67 42 00 0a f8 41 a2. RBSP (after 0x67 header) = 42 00 0a f8 41 a2 -> profile_idc=66 (Baseline), level_idc=10, pic_width_in_mbs_minus1=7, pic_height_in_map_units_minus1=5, frame_mbs_only=1 -> 128 x 96. Plus RBSP de-emulation KAT: 00 00 03 01 00 00 03 02 -> 00 00 01 00 00 02 (len6). Every value PRINTED. stdout + knowledge/status/h264_sps_gate.log. Exit 0/1. Sovereign: nx_syscalls + nx_h264_bits + nx_h264_sps. license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_h264_bits.nx nx_h264_sps.nx nx_h264_sps_gate.nx

imports: nx_syscalls.nxnx_h264_bits.nxnx_h264_sps.nx

imported by: nobody (leaf or entry point)

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

main sys_openat_append gp sys_write sys_mmap nx_h264_unescape_rbsp gn sys_mmap ↻ sys_write ↻ nx_h264_parse_sps sys_mmap ↻ br_init sys_mmap ↻ br_read_bits br_read_bit br_read_ue br_read_bit ↻ br_read_bits ↻ nx_h264_is_high br_read_se br_read_ue ↻ sys_close sys_exit

structs

none

consts

none

functions

13func gp(logfd: i64, s: *u8) -> i64
called by 1: main calls 1: sys_write
20func gn(logfd: i64, v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
35func main() -> i64
calls 8: sys_openat_appendgpsys_mmapnx_h264_unescape_rbspgnnx_h264_parse_sps+2