Searched refs:IPI_INVLRNG (Results 1 - 6 of 6) sorted by relevance

/freebsd-10-stable/sys/amd64/include/
H A Dapicvar.h114 #define IPI_INVLRNG (APIC_IPI_INTS + 3) macro
/freebsd-10-stable/sys/i386/include/
H A Dapicvar.h112 #define IPI_INVLRNG (APIC_IPI_INTS + 3) macro
/freebsd-10-stable/sys/i386/i386/
H A Dmp_machdep.c577 setidt(IPI_INVLRNG, IDTVEC(invlrng),
1326 smp_tlb_shootdown(IPI_INVLRNG, addr1, addr2);
1363 smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, addr1, addr2);
/freebsd-10-stable/sys/amd64/amd64/
H A Dmp_machdep.c545 setidt(IPI_INVLRNG, IDTVEC(invlrng), SDT_SYSIGT, SEL_KPL, 0);
1279 smp_tlb_shootdown(IPI_INVLRNG, pmap, addr1, addr2);
1317 smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, pmap, addr1,
/freebsd-10-stable/sys/x86/xen/
H A Dhvm.c121 [IPI_TO_IDX(IPI_INVLRNG)] = { xen_invlrng, "irg" },
/freebsd-10-stable/sys/i386/xen/
H A Dmp_machdep.c1123 smp_tlb_shootdown(IPI_INVLRNG, addr1, addr2);
1150 smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, addr1, addr2);

Completed in 139 milliseconds