IOMMUFD_OBJ_DEVICE
idev = iommufd_object_alloc(ictx, idev, IOMMUFD_OBJ_DEVICE);
if (obj->type == IOMMUFD_OBJ_DEVICE &&
IOMMUFD_OBJ_DEVICE),
[IOMMUFD_OBJ_DEVICE] = {