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