| 243 | } |
| 244 | |
| 245 | static __inline vm_paddr_t |
| 246 | pte1_link_pa(pt1_entry_t pte1) |
| 247 | { |
| 248 | |
| 249 | return ((vm_paddr_t)(pte1 & L1_C_ADDR_MASK)); |
| 250 | } |
| 251 | |
| 252 | /* |
| 253 | * Virtual interface for L2 page table entries management. |
no outgoing calls
no test coverage detected