| 6011 | } |
| 6012 | |
| 6013 | void |
| 6014 | pmap_quick_remove_page(vm_offset_t addr) |
| 6015 | { |
| 6016 | struct pcpu *pc; |
| 6017 | pt2_entry_t *pte2p; |
| 6018 | |
| 6019 | pc = get_pcpu(); |
| 6020 | pte2p = pc->pc_qmap_pte2p; |
| 6021 | |
| 6022 | KASSERT(addr == pc->pc_qmap_addr, ("%s: invalid address", __func__)); |
| 6023 | KASSERT(pte2_load(pte2p) != 0, ("%s: PTE2 not in use", __func__)); |
| 6024 | |
| 6025 | pte2_clear(pte2p); |
| 6026 | tlb_flush(pc->pc_qmap_addr); |
| 6027 | critical_exit(); |
| 6028 | } |
| 6029 | |
| 6030 | /* |
| 6031 | * Copy the range specified by src_addr/len |
no test coverage detected