Symbol: get_ivhd_header_size
drivers/iommu/amd/init.c
1472
ivhd_size = get_ivhd_header_size(h);
drivers/iommu/amd/init.c
547
u32 ivhd_size = get_ivhd_header_size(h);