devctl_device_getstate
rv = devctl_device_getstate(dcp, &state);
if ((exit_code = devctl_device_getstate(dcp,
devctl_device_getstate(dhdl, &cur_state);
devctl_device_getstate(dhdl, &statep);
if ((devctl_device_getstate(dcp, &state)) == -1) {
{ FPCFGA_DEV_GETSTATE, DEV_OP, devctl_device_getstate }
{ SCFGA_DEV_GETSTATE, DEV_OP, devctl_device_getstate }
devctl_device_getstate(devctl_hdl_t hdl, uint_t *statep);