* Get offset of PT2 in a page * associated with given PT1 index. */
| 618 | * associated with given PT1 index. |
| 619 | */ |
| 620 | static __inline u_int |
| 621 | page_pt2off(u_int pt1_idx) |
| 622 | { |
| 623 | |
| 624 | return ((pt1_idx & PT2PG_MASK) * NB_IN_PT2); |
| 625 | } |
| 626 | |
| 627 | /* |
| 628 | * Get physical address of PT2 |
no outgoing calls
no test coverage detected