* Remove a page from the kernel pagetables. * Note: not SMP coherent. */
| 1323 | * Note: not SMP coherent. |
| 1324 | */ |
| 1325 | PMAP_INLINE void |
| 1326 | pmap_kremove(vm_offset_t va) |
| 1327 | { |
| 1328 | pt1_entry_t *pte1p; |
| 1329 | pt2_entry_t *pte2p; |
| 1330 | |
| 1331 | pte1p = kern_pte1(va); |
| 1332 | if (pte1_is_section(pte1_load(pte1p))) { |
| 1333 | pte1_clear(pte1p); |
| 1334 | } else { |
| 1335 | pte2p = pt2map_entry(va); |
| 1336 | pte2_clear(pte2p); |
| 1337 | } |
| 1338 | } |
| 1339 | |
| 1340 | /* |
| 1341 | * Share new kernel PT2PG with all pmaps. |
no test coverage detected