IDXD_DEV_NONE
IDXD_DEV_NONE,
while (idxd_drv->type[i] != IDXD_DEV_NONE) {
IDXD_DEV_NONE,
IDXD_DEV_NONE,
IDXD_DEV_NONE,
IDXD_DEV_NONE,
idev->type = IDXD_DEV_NONE;