Home
last modified time | relevance | path

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

/freebsd/sys/i386/i386/
H A Dmp_machdep.c222 setidt(IPI_INVLCACHE, IDTVEC(invlcache), in cpu_mp_start()
644 smp_targeted_tlb_shootdown(all_cpus, IPI_INVLCACHE, NULL, 0, 0, in smp_cache_flush()
/freebsd/sys/x86/xen/
H A Dxen_apic.c91 [IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },
/freebsd/sys/x86/include/
H A Dapicvar.h122 #define IPI_INVLCACHE (APIC_IPI_INTS + 4) macro