Symbol: write_dte_upper128
drivers/iommu/amd/iommu.c
157
write_dte_upper128(ptr, new);
drivers/iommu/amd/iommu.c
163
write_dte_upper128(ptr, new);
drivers/iommu/amd/iommu.c
170
write_dte_upper128(ptr, new);
drivers/iommu/amd/iommu.c
180
write_dte_upper128(ptr, new);
drivers/iommu/amd/iommu.c
197
write_dte_upper128(ptr, new);