Symbol: IOMMU_HWPT_DATA_VTD_S1
drivers/iommu/intel/nested.c
211
if (user_data->type != IOMMU_HWPT_DATA_VTD_S1)
drivers/iommu/intel/nested.c
217
IOMMU_HWPT_DATA_VTD_S1, __reserved);