Searched refs:ivhd_size (Results 1 – 1 of 1) sorted by relevance
531 u32 ivhd_size = get_ivhd_header_size(h); in find_last_devid_from_ivhd() local533 if (!ivhd_size) { in find_last_devid_from_ivhd()538 p += ivhd_size; in find_last_devid_from_ivhd()1450 u32 ivhd_size; in init_iommu_from_acpi() local1468 ivhd_size = get_ivhd_header_size(h); in init_iommu_from_acpi()1469 if (!ivhd_size) { in init_iommu_from_acpi()1474 p += ivhd_size; in init_iommu_from_acpi()