ivhd_size         503 drivers/iommu/amd_iommu_init.c 	u32 ivhd_size = get_ivhd_header_size(h);
ivhd_size         505 drivers/iommu/amd_iommu_init.c 	if (!ivhd_size) {
ivhd_size         510 drivers/iommu/amd_iommu_init.c 	p += ivhd_size;
ivhd_size        1149 drivers/iommu/amd_iommu_init.c 	u32 ivhd_size;
ivhd_size        1167 drivers/iommu/amd_iommu_init.c 	ivhd_size = get_ivhd_header_size(h);
ivhd_size        1168 drivers/iommu/amd_iommu_init.c 	if (!ivhd_size) {
ivhd_size        1173 drivers/iommu/amd_iommu_init.c 	p += ivhd_size;