| 1473 | } |
| 1474 | |
| 1475 | PMAP_INLINE pt_entry_t * |
| 1476 | vtopte(vm_offset_t va) |
| 1477 | { |
| 1478 | u_int64_t mask; |
| 1479 | |
| 1480 | KASSERT(va >= VM_MAXUSER_ADDRESS, ("vtopte on a uva/gpa 0x%0lx", va)); |
| 1481 | |
| 1482 | if (la57) { |
| 1483 | mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT + NPDPEPGSHIFT + |
| 1484 | NPML4EPGSHIFT + NPML5EPGSHIFT)) - 1); |
| 1485 | return (P5Tmap + ((va >> PAGE_SHIFT) & mask)); |
| 1486 | } else { |
| 1487 | mask = ((1ul << (NPTEPGSHIFT + NPDEPGSHIFT + NPDPEPGSHIFT + |
| 1488 | NPML4EPGSHIFT)) - 1); |
| 1489 | return (P4Tmap + ((va >> PAGE_SHIFT) & mask)); |
| 1490 | } |
| 1491 | } |
| 1492 | |
| 1493 | static __inline pd_entry_t * |
| 1494 | vtopde(vm_offset_t va) |
no outgoing calls
no test coverage detected