| 172 | } |
| 173 | |
| 174 | inline auto PageTableEntryToPhysical(uint64_t pte) -> uint64_t { |
| 175 | return pte & 0x000FFFFFFFFFF000ULL; |
| 176 | } |
| 177 | |
| 178 | inline auto PhysicalToPageTableEntry(uint64_t physical_addr, uint64_t flags) |
| 179 | -> uint64_t { |
no outgoing calls
no test coverage detected