Symbol: hfi1_alloc_rx