Searched defs:create_kernel_untypeds (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/src/kernel/ | ||
H A D | boot.c | 617 create_kernel_untypeds(cap_t root_cnode_cap, region_t boot_mem_reuse_reg, seL4_SlotPos first_untyped_slot) function |
Completed in 22 milliseconds