Home
last modified time | relevance | path

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

/f-stack/freebsd/i386/i386/
H A Dmp_machdep.c168 setidt(IPI_INVLRNG, IDTVEC(invlrng), in cpu_mp_start()
585 smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, pmap, addr1, addr2, in smp_masked_invlpg_range()
/f-stack/freebsd/x86/include/
H A Dapicvar.h118 #define IPI_INVLRNG (APIC_IPI_INTS + 3) macro
/f-stack/freebsd/x86/xen/
H A Dxen_apic.c100 [IPI_TO_IDX(IPI_INVLRNG)] = { xen_invlrng, "irg" },