Home
last modified time | relevance | path

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

/f-stack/freebsd/i386/i386/
H A Dmp_machdep.c172 setidt(IPI_INVLCACHE, IDTVEC(invlcache), in cpu_mp_start()
596 smp_targeted_tlb_shootdown(all_cpus, IPI_INVLCACHE, NULL, 0, 0, in smp_cache_flush()
/f-stack/freebsd/x86/include/
H A Dapicvar.h119 #define IPI_INVLCACHE (APIC_IPI_INTS + 4) macro
/f-stack/freebsd/x86/xen/
H A Dxen_apic.c101 [IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },