| 1491 | } |
| 1492 | |
| 1493 | static __inline pd_entry_t * |
| 1494 | vtopde(vm_offset_t va) |
| 1495 | { |
| 1496 | u_int64_t mask; |
| 1497 | |
| 1498 | KASSERT(va >= VM_MAXUSER_ADDRESS, ("vtopde on a uva/gpa 0x%0lx", va)); |
| 1499 | |
| 1500 | if (la57) { |
| 1501 | mask = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT + |
| 1502 | NPML4EPGSHIFT + NPML5EPGSHIFT)) - 1); |
| 1503 | return (P5Dmap + ((va >> PDRSHIFT) & mask)); |
| 1504 | } else { |
| 1505 | mask = ((1ul << (NPDEPGSHIFT + NPDPEPGSHIFT + |
| 1506 | NPML4EPGSHIFT)) - 1); |
| 1507 | return (P4Dmap + ((va >> PDRSHIFT) & mask)); |
| 1508 | } |
| 1509 | } |
| 1510 | |
| 1511 | static u_int64_t |
| 1512 | allocpages(vm_paddr_t *firstaddr, int n) |
no outgoing calls
no test coverage detected