Symbol: IDT_OFFSET_IPI
sys/platform/pc64/include/intr_machdep.h
100
#define IDT_OFFSET_IPIG1 IDT_OFFSET_IPI
sys/platform/pc64/include/intr_machdep.h
52
#define IDT_HWI_VECTORS (IDT_OFFSET_IPI - IDT_OFFSET)
sys/platform/pc64/include/intr_machdep.h
94
#define TPR_IPI (IDT_OFFSET_IPI - 1)