TAVOR_PDHDL
status = tavor_rsrc_alloc(state, TAVOR_PDHDL, 1, sleepflag, &rsrc);
rsrc_pool = &state->ts_rsrc_hdl[TAVOR_PDHDL];
rsrc_pool->rsrc_type = TAVOR_PDHDL;
hdl_info.swi_rsrcpool = &state->ts_rsrc_hdl[TAVOR_PDHDL];
case TAVOR_PDHDL:
case TAVOR_PDHDL: