code wiki / (root) / nx_hal_test.nx

nx_hal_test.nx

buildroot/runtime/nx_hal_test.nx

6856 B163 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_hal_test.nx -- smoke for the substrate HAL.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_hal.nx nx_hal_test.nx

imports: nx_syscalls.nxnx_hal.nx

imported by: nobody (leaf or entry point)

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

main nx_hal_op_is_valid nx_hal_shim_is_valid nx_hal_verdict_is_valid nx_hal_active_shim nx_hal_clock_now_ns nx_hal_active_shim ↻ nx_hal_clock_now_ns_linux sys_mmap nx_hal_clock_now_ns_bare_m nx_hal_clock_now_ns_nishi_ nx_hal_alloc_pages nx_hal_active_shim ↻ nx_hal_alloc_pages_linux sys_mmap ↻ nx_hal_alloc_pages_bare_me nx_hal_alloc_pages_nishi_s nx_hal_release_pages nx_hal_active_shim ↻ nx_hal_release_pages_linux nx_hal_release_pages_bare_ nx_hal_release_pages_nishi nx_hal_console_write nx_hal_active_shim ↻ nx_hal_console_write_linux sys_write nx_hal_console_write_bare_ nx_hal_console_write_nishi nx_hal_random_bytes nx_hal_active_shim ↻ nx_hal_random_bytes_linux nx_hal_random_bytes_bare_m nx_hal_random_bytes_nishi_ nx_hal_yield nx_hal_active_shim ↻ nx_hal_yield_linux nx_hal_yield_bare_metal nx_hal_yield_nishi_silicon sys_mmap ↻ nx_hal_spawn

structs

none

consts

none

functions

6func main() -> i64
calls 14: nx_hal_op_is_validnx_hal_shim_is_validnx_hal_verdict_is_validnx_hal_active_shimnx_hal_clock_now_nsnx_hal_alloc_pages+8