Symbol: DTE_GCR3_51_31
drivers/iommu/amd/iommu.c
2093
FIELD_PREP(DTE_GCR3_51_31, gcr3 >> 31);
drivers/iommu/amd/nested.c
226
new->data[1] |= gdte->dte[1] & (DTE_GCR3_30_15 | DTE_GCR3_51_31);
drivers/iommu/amd/nested.c
39
FIELD_GET(DTE_GCR3_51_31, gdte->dte[1]) == 0)