Searched refs:IPI_INVLCACHE (Results 1 – 3 of 3) sorted by relevance
172 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()
119 #define IPI_INVLCACHE (APIC_IPI_INTS + 4) macro
101 [IPI_TO_IDX(IPI_INVLCACHE)] = { xen_invlcache, "ic" },