get_ivhd_header_size  503 drivers/iommu/amd_iommu_init.c 	u32 ivhd_size = get_ivhd_header_size(h);
get_ivhd_header_size 1167 drivers/iommu/amd_iommu_init.c 	ivhd_size = get_ivhd_header_size(h);