| 3233 | } |
| 3234 | |
| 3235 | void |
| 3236 | pmap_invalidate_cache(void) |
| 3237 | { |
| 3238 | sched_pin(); |
| 3239 | smp_cache_flush(pmap_invalidate_cache_curcpu_cb); |
| 3240 | } |
| 3241 | |
| 3242 | struct pde_action { |
| 3243 | cpuset_t invalidate; /* processors that invalidate their TLB */ |
no test coverage detected