Symbol: tavor_rsrc_swhdl_alloc