Home
last modified time | relevance | path

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

/freebsd-13-stable/sys/i386/i386/
HDmp_machdep.c225 setidt(IPI_INVLCACHE, IDTVEC(invlcache), in cpu_mp_start()
647 smp_targeted_tlb_shootdown(all_cpus, IPI_INVLCACHE, NULL, 0, 0, in smp_cache_flush()
/freebsd-13-stable/sys/x86/include/
HDapicvar.h122 #define IPI_INVLCACHE (APIC_IPI_INTS + 4) macro
/freebsd-13-stable/sys/x86/xen/
HDxen_apic.c99 [IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },