Home
last modified time | relevance | path

Searched refs:IPI_INVLPG (Results 1 – 3 of 3) sorted by relevance

/f-stack/freebsd/i386/i386/
H A Dmp_machdep.c166 setidt(IPI_INVLPG, IDTVEC(invlpg), in cpu_mp_start()
575 smp_targeted_tlb_shootdown(mask, IPI_INVLPG, pmap, addr, 0, curcpu_cb); in smp_masked_invlpg()
/f-stack/freebsd/x86/include/
H A Dapicvar.h117 #define IPI_INVLPG (APIC_IPI_INTS + 2) macro
/f-stack/freebsd/x86/xen/
H A Dxen_apic.c99 [IPI_TO_IDX(IPI_INVLPG)] = { xen_invlpg, "ipg" },