idxd_register_devices
int idxd_register_devices(struct idxd_device *idxd);
rc = idxd_register_devices(idxd);