Searched refs:num_ioapic (Results 1 - 10 of 10) sorted by relevance

/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dboot_sys.h17 uint32_t num_ioapic; /* number of IOAPICs detected */ member in struct:boot_state
H A Dvspace.h39 uint32_t num_ioapic,
47 uint32_t num_ioapic,
/seL4-refos-master/kernel/include/plat/pc99/plat/machine/
H A Dioapic.h13 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic);
H A Dacpi.h61 uint32_t *num_ioapic,
/seL4-refos-master/kernel/src/plat/pc99/machine/
H A Dioapic.c75 void ioapic_init(uint32_t num_nodes, cpu_id_t *cpu_list, uint32_t num_ioapic) argument
78 num_ioapics = num_ioapic;
81 for (ioapic = 0; ioapic < num_ioapic; ioapic++) {
H A Dacpi.c277 uint32_t *num_ioapic,
292 *num_ioapic = 0;
354 if (*num_ioapic == CONFIG_MAX_NUM_IOAPIC) {
357 ioapic_paddrs[*num_ioapic] = ((acpi_madt_ioapic_t *)acpi_madt_header)->ioapic_addr;
358 (*num_ioapic)++;
274 acpi_madt_scan( acpi_rsdp_t *acpi_rsdp, cpu_id_t *cpu_list, uint32_t *num_ioapic, paddr_t *ioapic_paddrs ) argument
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c151 boot_state.num_ioapic,
436 boot_state.num_cpus = acpi_madt_scan(&boot_state.acpi_rsdp, boot_state.cpus, &boot_state.num_ioapic,
444 if (boot_state.num_ioapic == 0) {
449 if (boot_state.num_ioapic > 0) {
450 printf("Detected %d IOAPICs, but configured to use PIC instead\n", boot_state.num_ioapic);
497 ioapic_init(1, boot_state.cpus, boot_state.num_ioapic);
H A Dvspace.c127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu, argument
149 for (i = 0; i < num_ioapic; i++) {
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c202 uint32_t num_ioapic,
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-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c42 uint32_t num_ioapic,
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

Completed in 91 milliseconds