idxd_device_release_int_handle
idxd_device_release_int_handle(idxd, ie->int_handle, IDXD_IRQ_MSIX);
idxd_device_release_int_handle(idxd, ie->int_handle, IDXD_IRQ_MSIX);
int idxd_device_release_int_handle(struct idxd_device *idxd, int handle,