Searched refs:gcr3_1 (Results 1 – 2 of 2) sorted by relevance
244 u32 entry, gcr3_1, gcr3_2, gcr3_3; in iommu_dte_set_guest_cr3() local248 gcr3_1 = (gcr3 >> PAGE_SHIFT) & 0x7; in iommu_dte_set_guest_cr3()282 set_field_in_reg_u32(gcr3_1, entry, in iommu_dte_set_guest_cr3()
81 uint64_t gcr3_1, gcr3_2, gcr3_3; in get_guest_cr3_from_dte() local83 gcr3_1 = get_field_from_reg_u32(dte->data[1], in get_guest_cr3_from_dte()93 return ((gcr3_3 << 31) | (gcr3_2 << 15 ) | (gcr3_1 << 12)) >> PAGE_SHIFT; in get_guest_cr3_from_dte()
Completed in 5 milliseconds