Searched defs:device_memory (Results 1 - 1 of 1) sorted by relevance

/seL4-refos-master/kernel/src/kernel/
H A Dboot.c559 provide_untyped_cap( cap_t root_cnode_cap, bool_t device_memory, pptr_t pptr, word_t size_bits, seL4_SlotPos first_untyped_slot ) argument
584 create_untypeds_for_region( cap_t root_cnode_cap, bool_t device_memory, region_t reg, seL4_SlotPos first_untyped_slot ) argument

Completed in 83 milliseconds