Searched refs:module_paddr_region_valid (Results 1 - 1 of 1) sorted by relevance
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ | ||
| H A D | boot_sys.c | 89 module_paddr_region_valid(paddr_t pa_start, paddr_t pa_end) function 179 if (!module_paddr_region_valid( |
Completed in 24 milliseconds