Searched refs:gcr3_pt (Results 1 – 4 of 4) sorted by relevance
261 info->gcr3_pt = virt_to_phys(top_range->top_table); in x86_64_pt_iommu_fmt_hw_info()262 PT_WARN_ON(info->gcr3_pt & ~PT_TOP_PHYS_MASK); in x86_64_pt_iommu_fmt_hw_info()
285 u64 gcr3_pt; member
1306 pt_info.gcr3_pt, flags, old); in domain_setup_first_level()
2244 ret = update_gcr3(dev_data, 0, __sme_set(pt_info.gcr3_pt), true); in init_gcr3_table()