Searched refs:gcr3 (Results 1 – 1 of 1) sorted by relevance
1572 u64 gcr3 = iommu_virt_to_phys(domain->gcr3_tbl); in set_dte_entry() local1587 tmp = DTE_GCR3_VAL_A(gcr3) << DTE_GCR3_SHIFT_A; in set_dte_entry()1590 tmp = DTE_GCR3_VAL_B(gcr3) << DTE_GCR3_SHIFT_B; in set_dte_entry()1593 tmp = DTE_GCR3_VAL_C(gcr3) << DTE_GCR3_SHIFT_C; in set_dte_entry()