* Get first entry of PT2 * associated with given PT2s page and PT1 index. */
| 640 | * associated with given PT2s page and PT1 index. |
| 641 | */ |
| 642 | static __inline pt2_entry_t * |
| 643 | page_pt2(vm_offset_t pgva, u_int pt1_idx) |
| 644 | { |
| 645 | |
| 646 | return ((pt2_entry_t *)(pgva + page_pt2off(pt1_idx))); |
| 647 | } |
| 648 | |
| 649 | /* |
| 650 | * Get virtual address of PT2s page (mapped in PT2MAP) |
no test coverage detected