* Handlers for TLB related IPIs */
| 792 | * Handlers for TLB related IPIs |
| 793 | */ |
| 794 | static void |
| 795 | invltlb_handler(pmap_t smp_tlb_pmap) |
| 796 | { |
| 797 | #ifdef COUNT_XINVLTLB_HITS |
| 798 | xhits_gbl[PCPU_GET(cpuid)]++; |
| 799 | #endif /* COUNT_XINVLTLB_HITS */ |
| 800 | #ifdef COUNT_IPIS |
| 801 | (*ipi_invltlb_counts[PCPU_GET(cpuid)])++; |
| 802 | #endif /* COUNT_IPIS */ |
| 803 | |
| 804 | if (smp_tlb_pmap == kernel_pmap) |
| 805 | invltlb_glob(); |
| 806 | else |
| 807 | invltlb(); |
| 808 | } |
| 809 | |
| 810 | static void |
| 811 | invltlb_invpcid_handler(pmap_t smp_tlb_pmap) |
no test coverage detected