| 10061 | } |
| 10062 | |
| 10063 | void |
| 10064 | pmap_quick_remove_page(vm_offset_t addr) |
| 10065 | { |
| 10066 | |
| 10067 | if (addr != qframe) |
| 10068 | return; |
| 10069 | pte_store(vtopte(qframe), 0); |
| 10070 | invlpg(qframe); |
| 10071 | mtx_unlock_spin(&qframe_mtx); |
| 10072 | } |
| 10073 | |
| 10074 | /* |
| 10075 | * Pdp pages from the large map are managed differently from either |