Lines Matching refs:PRIx64
58 printk(" drhd->address = %"PRIx64"\n", drhd->address); in print_iommu_regs()
60 printk(" CAP = %"PRIx64"\n", cap = dmar_readq(iommu->reg, DMAR_CAP_REG)); in print_iommu_regs()
61 printk(" n_fault_reg = %"PRIx64"\n", cap_num_fault_regs(cap)); in print_iommu_regs()
62 printk(" fault_recording_offset = %"PRIx64"\n", cap_fault_reg_offset(cap)); in print_iommu_regs()
65 printk(" fault_recording_reg_l = %"PRIx64"\n", in print_iommu_regs()
67 printk(" fault_recording_reg_h = %"PRIx64"\n", in print_iommu_regs()
70 printk(" ECAP = %"PRIx64"\n", dmar_readq(iommu->reg, DMAR_ECAP_REG)); in print_iommu_regs()
73 printk(" RTADDR = %"PRIx64"\n", dmar_readq(iommu->reg,DMAR_RTADDR_REG)); in print_iommu_regs()
74 printk(" CCMD = %"PRIx64"\n", dmar_readq(iommu->reg, DMAR_CCMD_REG)); in print_iommu_regs()
115 printk(" root_entry[%02x] = %"PRIx64"\n", bus, root_entry[bus].val); in print_vtd_entries()
133 printk(" context[%02x] = %"PRIx64"_%"PRIx64"\n", in print_vtd_entries()
162 printk(" l%u[%03x] = %"PRIx64"\n", level, l_index, pte.val); in print_vtd_entries()