20 #ifndef KERNEL_PROCESSOR_X64_UTILS_H 21 #define KERNEL_PROCESSOR_X64_UTILS_H 23 #include "pedigree/kernel/compiler.h" 24 #include "pedigree/kernel/processor/types.h" 41 return address + 0xFFFF800000000000ULL;
51 return reinterpret_cast<T *
>(
52 reinterpret_cast<uint64_t
>(pAddress) + 0xFFFF800000000000);
uintptr_t physicalAddress(physical_uintptr_t address) PURE