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

/seL4-master/src/kernel/
A D	boot.c	574 bool_t device_memory, in provide_untyped_cap() 599 bool_t device_memory, in create_untypeds_for_region()

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023