Searched refs:DMAR_RTADDR_REG (Results 1 – 3 of 3) sorted by relevance
73 printk(" RTADDR = %"PRIx64"\n", dmar_readq(iommu->reg,DMAR_RTADDR_REG)); in print_iommu_regs()
34 #define DMAR_RTADDR_REG 0x20 /* Root entry table */ macro
731 dmar_writeq(iommu->reg, DMAR_RTADDR_REG, iommu->root_maddr); in iommu_set_root_entry()
Completed in 10 milliseconds