Searched refs:map_kernel_window_devices (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 45 bool_t map_kernel_window_devices(
|
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 324 if (!map_kernel_window_devices(ia32KSGlobalPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) {
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 244 if (!map_kernel_window_devices(x64KSKernelPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) {
|
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, function
|
Completed in 101 milliseconds