| 1698 | } |
| 1699 | |
| 1700 | static void |
| 1701 | pmap_pvh_free(struct md_page *pvh, pmap_t pmap, vm_offset_t va) |
| 1702 | { |
| 1703 | pv_entry_t pv; |
| 1704 | |
| 1705 | pv = pmap_pvh_remove(pvh, pmap, va); |
| 1706 | KASSERT(pv != NULL, ("pmap_pvh_free: pv not found, pa %lx va %lx", |
| 1707 | (u_long)VM_PAGE_TO_PHYS(__containerof(pvh, struct vm_page, md)), |
| 1708 | (u_long)va)); |
| 1709 | free_pv_entry(pmap, pv); |
| 1710 | } |
| 1711 | |
| 1712 | static void |
| 1713 | pmap_remove_entry(pmap_t pmap, vm_page_t m, vm_offset_t va) |
no test coverage detected