DMAR_RTADDR_RTA_MASK
rtaddr & DMAR_RTADDR_RTA_MASK);
root_table = acpi_map_physical(rtaddr & DMAR_RTADDR_RTA_MASK, 4096);