version 1.73, 2021/02/01 19:02:27 |
version 1.74, 2021/04/16 00:13:48 |
Line 1667 pmap_collect1(pmap_t pmap, paddr_t start |
|
Line 1667 pmap_collect1(pmap_t pmap, paddr_t start |
|
* ST and Sysptmap entries. |
* ST and Sysptmap entries. |
*/ |
*/ |
|
|
(void) pmap_extract(pmap, pv->pv_va, &kpa); |
if (!pmap_extract(pmap, pv->pv_va, &kpa)) { |
|
printf("collect: freeing KPT page at %lx (ste %x@%p)\n", |
|
pv->pv_va, *pv->pv_ptste, pv->pv_ptste); |
|
panic("pmap_collect: mapping not found"); |
|
} |
pmap_remove_mapping(pmap, pv->pv_va, NULL, |
pmap_remove_mapping(pmap, pv->pv_va, NULL, |
PRM_TFLUSH|PRM_CFLUSH, NULL); |
PRM_TFLUSH|PRM_CFLUSH, NULL); |
|
|