1 #ifndef _X86_64_MADDR_H
2 #define _X86_64_MADDR_H
4 static inline paddr_t pte_phys_to_machine(paddr_t phys)
7 machine = pfn_to_mfn((phys & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT);
8 machine = (machine << PAGE_SHIFT) | (phys & ~PHYSICAL_PAGE_MASK);
12 static inline paddr_t pte_machine_to_phys(maddr_t machine)
15 phys = mfn_to_pfn((machine & PHYSICAL_PAGE_MASK) >> PAGE_SHIFT);
16 phys = (phys << PAGE_SHIFT) | (machine & ~PHYSICAL_PAGE_MASK);
20 #endif /* _X86_64_MADDR_H */