IOMMU_HWPT_DATA_VTD_S1
if (user_data->type != IOMMU_HWPT_DATA_VTD_S1)
IOMMU_HWPT_DATA_VTD_S1, __reserved);