DS_HDL2IDX
(int)DS_HDL2IDX(svc->hdl), svc->state,
hdl = DS_ALLOC_HDL(DS_HDL2IDX(svc->hdl), DS_HDL2COUNT(svc->hdl));
idx = DS_HDL2IDX(hdl);
(u_longlong_t)hdl, (uint_t)DS_HDL2IDX(svc->hdl));