| 1367 | } |
| 1368 | |
| 1369 | static __inline pml4_entry_t * |
| 1370 | pmap_pml4e_u(pmap_t pmap, vm_offset_t va) |
| 1371 | { |
| 1372 | MPASS(!pmap_is_la57(pmap)); |
| 1373 | return (&pmap->pm_pmltopu[pmap_pml4e_index(va)]); |
| 1374 | } |
| 1375 | |
| 1376 | /* Return a pointer to the PDP slot that corresponds to a VA */ |
| 1377 | static __inline pdp_entry_t * |
no test coverage detected