* Get virtual address of PT2s page (mapped in PT2MAP) * which holds PT2 which holds entry which maps given virtual address. */
| 651 | * which holds PT2 which holds entry which maps given virtual address. |
| 652 | */ |
| 653 | static __inline vm_offset_t |
| 654 | pt2map_pt2pg(vm_offset_t va) |
| 655 | { |
| 656 | |
| 657 | va &= ~(NPT2_IN_PG * PTE1_SIZE - 1); |
| 658 | return ((vm_offset_t)pt2map_entry(va)); |
| 659 | } |
| 660 | |
| 661 | /***************************************************************************** |
| 662 | * |
no test coverage detected