IA64_RR_MASK
acpi_root_phys = IA64_RR_MASK((u_long)acpi_root);
kernstartpfn = atop(IA64_RR_MASK(kernstart));
kernendpfn = atop(IA64_RR_MASK(kernend));
pa = IA64_RR_MASK(va);
m_pc = PHYS_TO_VM_PAGE(IA64_RR_MASK((vaddr_t)pc));
m = PHYS_TO_VM_PAGE(IA64_RR_MASK((vaddr_t)pc));
return (IA64_RR_MASK(va));
memcpy((void*) IA64_RR_MASK(dest), src, len);
memcpy(dest, (void*) IA64_RR_MASK(src), len);
return (read(fd, (void*) IA64_RR_MASK(dest), len));