Symbol: get_dte256
drivers/iommu/amd/iommu.c
433
get_dte256(iommu, dev_data, &new);
drivers/iommu/amd/iommu.c
771
get_dte256(iommu, dev_data, &dte);