Searched refs:IPI_INVLTLB (Results 1 – 3 of 3) sorted by relevance
| /freebsd/sys/i386/i386/ |
| H A D | mp_machdep.c | 214 setidt(IPI_INVLTLB, IDTVEC(invltlb), in cpu_mp_start()
613 smp_targeted_tlb_shootdown(mask, IPI_INVLTLB, pmap, 0, 0, curcpu_cb); in smp_masked_invltlb()
|
| /freebsd/sys/x86/xen/ |
| H A D | xen_apic.c | 88 [IPI_TO_IDX(IPI_INVLTLB)] = { xen_invltlb, "itlb"},
|
| /freebsd/sys/x86/include/ |
| H A D | apicvar.h | 119 #define IPI_INVLTLB (APIC_IPI_INTS + 1) /* TLB Shootdown IPIs, i386 */ macro
|