Symbol: LAPIC_IPI_RELOADCR3
sys/arch/i386/i386/lapic.c
221
idt_vec_set(LAPIC_IPI_RELOADCR3, Xintripi_reloadcr3);
sys/arch/i386/i386/pmap.c
2842
if (i386_fast_ipi(ci, LAPIC_IPI_RELOADCR3) != 0)