| 392 | */ |
| 393 | |
| 394 | static __inline u_int |
| 395 | pt2tab_index(vm_offset_t va) |
| 396 | { |
| 397 | |
| 398 | return (va >> PT2TAB_SHIFT); |
| 399 | } |
| 400 | |
| 401 | static __inline pt2_entry_t * |
| 402 | pt2tab_entry(pt2_entry_t *pt2tab, vm_offset_t va) |
no outgoing calls
no test coverage detected