Symbol: LAPIC_IPI_INVEPT
sys/arch/amd64/amd64/lapic.c
368
idt_allocmap[LAPIC_IPI_INVEPT] = 1;
sys/arch/amd64/amd64/lapic.c
369
idt_vec_set(LAPIC_IPI_INVEPT, Xipi_invept);
sys/arch/amd64/amd64/pmap.c
3459
if (x86_fast_ipi(ci, LAPIC_IPI_INVEPT) != 0)