Searched refs:num_ioapic (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/src/plat/pc99/machine/ |
| A D | ioapic.c | 75 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic) in ioapic_init() argument
78 num_ioapics = num_ioapic; in ioapic_init()
81 for (ioapic = 0; ioapic < num_ioapic; ioapic++) { in ioapic_init()
|
| A D | acpi.c | 277 uint32_t *num_ioapic, in acpi_madt_scan() argument
292 *num_ioapic = 0; in acpi_madt_scan()
354 if (*num_ioapic == CONFIG_MAX_NUM_IOAPIC) { in acpi_madt_scan()
357 … ioapic_paddrs[*num_ioapic] = ((acpi_madt_ioapic_t *)acpi_madt_header)->ioapic_addr; in acpi_madt_scan()
358 (*num_ioapic)++; in acpi_madt_scan()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 149 boot_state.num_ioapic, in try_boot_sys_node()
434 …oot_state.num_cpus = acpi_madt_scan(&boot_state.acpi_rsdp, boot_state.cpus, &boot_state.num_ioapic, in try_boot_sys()
442 if (boot_state.num_ioapic == 0) { in try_boot_sys()
447 if (boot_state.num_ioapic > 0) { in try_boot_sys()
448 … printf("Detected %d IOAPICs, but configured to use PIC instead\n", boot_state.num_ioapic); in try_boot_sys()
495 ioapic_init(1, boot_state.cpus, boot_state.num_ioapic); in try_boot_sys()
|
| A D | vspace.c | 127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, … in map_kernel_window_devices() argument
149 for (i = 0; i < num_ioapic; i++) { in map_kernel_window_devices()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | ioapic.h | 13 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic);
|
| A D | acpi.h | 61 uint32_t *num_ioapic,
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | boot_sys.h | 17 uint32_t num_ioapic; /* number of IOAPICs detected */ member
|
| A D | vspace.h | 39 uint32_t num_ioapic,
47 uint32_t num_ioapic,
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 202 uint32_t num_ioapic, in map_kernel_window() argument
324 … if (!map_kernel_window_devices(ia32KSGlobalPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { in map_kernel_window()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 42 uint32_t num_ioapic, in map_kernel_window() argument
244 if (!map_kernel_window_devices(x64KSKernelPT, num_ioapic, ioapic_paddrs, num_drhu, drhu_list)) { in map_kernel_window()
|
Completed in 16 milliseconds