Searched refs:CONFIG_MAX_NUM_IOAPIC (Results 1 - 7 of 7) sorted by relevance

/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A Ddevices.h19 #define PPTR_DRHU_START (PPTR_IOAPIC_START + BIT(PAGE_BITS) * CONFIG_MAX_NUM_IOAPIC)
/seL4-mcs-10.1.1/include/
H A Dconfig.h82 #ifndef CONFIG_MAX_NUM_IOAPIC
83 #define CONFIG_MAX_NUM_IOAPIC 1 macro
/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dioapic.c41 static uint32_t ioredtbl_state[IOAPIC_IRQ_LINES * CONFIG_MAX_NUM_IOAPIC];
H A Dacpi.c364 if (*num_ioapic == CONFIG_MAX_NUM_IOAPIC) {
365 printf("ACPI: Not recording this IOAPIC, only support %d\n", CONFIG_MAX_NUM_IOAPIC);
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c73 * plus 1 for each kernel device. For kernel devices we have the ioapics (+ CONFIG_MAX_NUM_IOAPIC),
75 #define NUM_RESERVED_REGIONS (MAX_NUM_FREEMEM_REG + CONFIG_MAX_NUM_IOAPIC + MAX_NUM_DRHU + 2)
H A Dboot_sys.c63 paddr_t ioapic_paddr[CONFIG_MAX_NUM_IOAPIC];
H A Dvspace.c169 for (; i < CONFIG_MAX_NUM_IOAPIC; i++) {

Completed in 66 milliseconds