Symbol: efct_hw_rx_allocate