hermon_rsrc_swhdl_free
static void hermon_rsrc_swhdl_free(hermon_rsrc_pool_info_t *pool_info,
hermon_rsrc_swhdl_free(pool_info, hdl);
hermon_rsrc_swhdl_free(pool_info, hdl);
hermon_rsrc_swhdl_free(rsrc_pool, *hdl);