| 1328 | }; |
| 1329 | |
| 1330 | static void |
| 1331 | pmap_update_pde_kernel(void *arg) |
| 1332 | { |
| 1333 | struct pde_action *act = arg; |
| 1334 | pd_entry_t *pde; |
| 1335 | |
| 1336 | if (act->store == PCPU_GET(cpuid)) { |
| 1337 | pde = pmap_pde(kernel_pmap, act->va); |
| 1338 | pde_store(pde, act->newpde); |
| 1339 | } |
| 1340 | } |
| 1341 | |
| 1342 | static void |
| 1343 | pmap_update_pde_user(void *arg) |
nothing calls this directly
no test coverage detected