tavor_rsrc_swhdl_free
static void tavor_rsrc_swhdl_free(tavor_rsrc_pool_info_t *pool_info,
tavor_rsrc_swhdl_free(pool_info, hdl);
tavor_rsrc_swhdl_free(pool_info, hdl);
tavor_rsrc_swhdl_free(rsrc_pool, *hdl);