RE: [PATCH v3 01/10] iommufd: Add data structure for Intel VT-d stage-1 domain allocation