IDXD_DEVICE_STATE_HALT
return (gensts.state == IDXD_DEVICE_STATE_HALT);
if (gensts.state == IDXD_DEVICE_STATE_HALT) {