pteval_t xen_pte_val(pte_t pte)
 {
-       pteval_t ret = 0;
+       pteval_t ret = pte.pte;
 
-       if (pte.pte_low) {
-               ret = ((pteval_t)pte.pte_high << 32) | pte.pte_low;
-               ret = machine_to_phys(XMADDR(ret)).paddr | 1;
-       }
+       if (ret & _PAGE_PRESENT)
+               ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
 
        return ret;
 }
 pmdval_t xen_pmd_val(pmd_t pmd)
 {
        pmdval_t ret = pmd.pmd;
-       if (ret)
-               ret = machine_to_phys(XMADDR(ret)).paddr | 1;
+       if (ret & _PAGE_PRESENT)
+               ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
        return ret;
 }
 
 pgdval_t xen_pgd_val(pgd_t pgd)
 {
        pgdval_t ret = pgd.pgd;
-       if (ret)
-               ret = machine_to_phys(XMADDR(ret)).paddr | 1;
+       if (ret & _PAGE_PRESENT)
+               ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
        return ret;
 }
 
 
 pmd_t xen_make_pmd(pmdval_t pmd)
 {
-       if (pmd & 1)
+       if (pmd & _PAGE_PRESENT)
                pmd = phys_to_machine(XPADDR(pmd)).maddr;
 
        return (pmd_t){ pmd };
 
 pteval_t xen_pte_val(pte_t pte)
 {
-       pteval_t ret = pte.pte_low;
+       pteval_t ret = pte.pte;
 
        if (ret & _PAGE_PRESENT)
                ret = machine_to_phys(XMADDR(ret)).paddr;
 pgdval_t xen_pgd_val(pgd_t pgd)
 {
        pteval_t ret = pgd.pgd;
-       if (ret)
-               ret = machine_to_phys(XMADDR(ret)).paddr | 1;
+       if (ret & _PAGE_PRESENT)
+               ret = machine_to_phys(XMADDR(ret)).paddr | _PAGE_PRESENT;
        return ret;
 }