* The caller is responsible for maintaining TLB consistency. */
| 1170 | * The caller is responsible for maintaining TLB consistency. |
| 1171 | */ |
| 1172 | static void |
| 1173 | pmap_kenter_pde(vm_offset_t va, pd_entry_t newpde) |
| 1174 | { |
| 1175 | pd_entry_t *pde; |
| 1176 | |
| 1177 | pde = pmap_pde(kernel_pmap, va); |
| 1178 | pde_store(pde, newpde); |
| 1179 | } |
| 1180 | |
| 1181 | /* |
| 1182 | * After changing the page size for the specified virtual address in the page |
no test coverage detected