Searched refs:ioapic_paddrs (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 40 paddr_t *ioapic_paddrs, 48 paddr_t *ioapic_paddrs,
|
/seL4-camkes-master/kernel/src/plat/pc99/machine/ |
H A D | acpi.c | 278 paddr_t *ioapic_paddrs 357 ioapic_paddrs[*num_ioapic] = ((acpi_madt_ioapic_t *)acpi_madt_header)->ioapic_addr;
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 203 paddr_t *ioapic_paddrs, 324 if (!map_kernel_window_devices(ia32KSGlobalPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { 201 map_kernel_window( uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, paddr_t *drhu_list ) argument
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 43 paddr_t *ioapic_paddrs, 244 if (!map_kernel_window_devices(x64KSKernelPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { 41 map_kernel_window( uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, paddr_t *drhu_list ) argument
|
/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, argument 150 phys = ioapic_paddrs[i];
|
Completed in 135 milliseconds