DMAR_RTADDR_REG
unit, dmar_read8(unit, DMAR_RTADDR_REG),
dmar_write8(unit, DMAR_RTADDR_REG, VM_PAGE_TO_PHYS(root_entry));
rtaddr = read_8(regs, DMAR_RTADDR_REG);