Return a pointer to the PDP slot that corresponds to a VA */
| 1385 | |
| 1386 | /* Return a pointer to the PDP slot that corresponds to a VA */ |
| 1387 | static __inline pdp_entry_t * |
| 1388 | pmap_pdpe(pmap_t pmap, vm_offset_t va) |
| 1389 | { |
| 1390 | pml4_entry_t *pml4e; |
| 1391 | pt_entry_t PG_V; |
| 1392 | |
| 1393 | PG_V = pmap_valid_bit(pmap); |
| 1394 | pml4e = pmap_pml4e(pmap, va); |
| 1395 | if (pml4e == NULL || (*pml4e & PG_V) == 0) |
| 1396 | return (NULL); |
| 1397 | return (pmap_pml4e_to_pdpe(pml4e, va)); |
| 1398 | } |
| 1399 | |
| 1400 | /* Return a pointer to the PD slot that corresponds to a VA */ |
| 1401 | static __inline pd_entry_t * |
no test coverage detected