| 3210 | } |
| 3211 | |
| 3212 | void |
| 3213 | pmap_invalidate_all(pmap_t pmap) |
| 3214 | { |
| 3215 | if (pmap_type_guest(pmap)) { |
| 3216 | pmap_invalidate_ept(pmap); |
| 3217 | return; |
| 3218 | } |
| 3219 | |
| 3220 | KASSERT(pmap->pm_type == PT_X86, |
| 3221 | ("pmap_invalidate_all: invalid type %d", pmap->pm_type)); |
| 3222 | |
| 3223 | pmap_invalidate_preipi(pmap); |
| 3224 | smp_masked_invltlb(pmap_invalidate_cpu_mask(pmap), pmap, |
| 3225 | pmap_invalidate_all_curcpu_cb); |
| 3226 | } |
| 3227 | |
| 3228 | static void |
| 3229 | pmap_invalidate_cache_curcpu_cb(pmap_t pmap __unused, vm_offset_t va __unused, |
no test coverage detected