IA64_PHYS_TO_RR7
rsdp = (ACPI_TABLE_RSDP *)IA64_PHYS_TO_RR7(rsdp_ptr);
xsdt = (ACPI_TABLE_XSDT *)IA64_PHYS_TO_RR7(rsdp->XsdtPhysicalAddress);
IA64_PHYS_TO_RR7(xsdt->TableOffsetEntry[t]);
rsdp = (ACPI_TABLE_RSDP *)IA64_PHYS_TO_RR7(rsdp_ptr);
xsdt = (ACPI_TABLE_XSDT *)IA64_PHYS_TO_RR7(rsdp->XsdtPhysicalAddress);
IA64_PHYS_TO_RR7(xsdt->TableOffsetEntry[t]);
tbl = (void *)IA64_PHYS_TO_RR7(hcdp);
tbl = (void*)IA64_PHYS_TO_RR7(hcdp);
return ((void *)IA64_PHYS_TO_RR7(data_pa));
return ((struct efi_md *)IA64_PHYS_TO_RR7(bootinfo.bi_memmap));
plim = IA64_PHYS_TO_RR7(bootinfo.bi_memmap + bootinfo.bi_memmap_size);
efi_systbl = (struct efi_systbl *)IA64_PHYS_TO_RR7(systbl);
(struct efi_cfgtbl *)IA64_PHYS_TO_RR7(
(struct efi_rt *)IA64_PHYS_TO_RR7((uint64_t)efi_systbl->st_rt);
(uint64_t)IA64_PHYS_TO_RR7(md->md_phys);
"r"(IA64_PHYS_TO_RR7(ia64_pal_base)),
ia64_set_ifa(IA64_PHYS_TO_RR7(ia64_pal_base));
bootinfo = *(struct bootinfo *)(IA64_PHYS_TO_RR7(pa_bootinfo));
rsdp = (ACPI_TABLE_RSDP *)IA64_PHYS_TO_RR7(rsdp_ptr);
xsdt = (ACPI_TABLE_XSDT *)IA64_PHYS_TO_RR7(rsdp->XsdtPhysicalAddress);
IA64_PHYS_TO_RR7(xsdt->TableOffsetEntry[i]);
pte = (struct ia64_lpte *)IA64_PHYS_TO_RR7(chain);
pte = (struct ia64_lpte *)IA64_PHYS_TO_RR7(chain);
pte = (struct ia64_lpte *)IA64_PHYS_TO_RR7(chain);
va = IA64_PHYS_TO_RR7(pa);
va = IA64_PHYS_TO_RR7(pa);
vhpt = IA64_PHYS_TO_RR7(VM_PAGE_TO_PHYS(m));
IA64_PHYS_TO_RR7(pa);
pc = (struct pv_chunk *)IA64_PHYS_TO_RR7(VM_PAGE_TO_PHYS(m));
pte = (struct ia64_lpte *)IA64_PHYS_TO_RR7(chain);
ia64_pal_entry = IA64_PHYS_TO_RR7(dp->sale_pal_proc);
sal_fdesc.func = IA64_PHYS_TO_RR7(dp->sale_sal_proc);
sal_fdesc.gp = IA64_PHYS_TO_RR7(dp->sale_sal_gp);