| 399 | } |
| 400 | |
| 401 | static __inline pt2_entry_t * |
| 402 | pt2tab_entry(pt2_entry_t *pt2tab, vm_offset_t va) |
| 403 | { |
| 404 | |
| 405 | return (pt2tab + pt2tab_index(va)); |
| 406 | } |
| 407 | |
| 408 | static __inline void |
| 409 | pt2tab_store(pt2_entry_t *pte2p, pt2_entry_t pte2) |
no test coverage detected