Return a pointer to the PT slot that corresponds to a VA */
| 1439 | |
| 1440 | /* Return a pointer to the PT slot that corresponds to a VA */ |
| 1441 | static __inline pt_entry_t * |
| 1442 | pmap_pte(pmap_t pmap, vm_offset_t va) |
| 1443 | { |
| 1444 | pd_entry_t *pde; |
| 1445 | pt_entry_t PG_V; |
| 1446 | |
| 1447 | PG_V = pmap_valid_bit(pmap); |
| 1448 | pde = pmap_pde(pmap, va); |
| 1449 | if (pde == NULL || (*pde & PG_V) == 0) |
| 1450 | return (NULL); |
| 1451 | if ((*pde & PG_PS) != 0) /* compat with i386 pmap_pte() */ |
| 1452 | return ((pt_entry_t *)pde); |
| 1453 | return (pmap_pde_to_pte(pde, va)); |
| 1454 | } |
| 1455 | |
| 1456 | static __inline void |
| 1457 | pmap_resident_count_inc(pmap_t pmap, int count) |
no test coverage detected