Symbol: IDT_INTR_HIGH
sys/arch/amd64/amd64/intr.c
286
IDT_INTR_HIGH);
sys/arch/amd64/amd64/intr.c
325
APIC_LEVEL(level), IDT_INTR_HIGH);
sys/arch/amd64/amd64/intr.c
328
IDT_INTR_HIGH);