Symbol: rx_alloc_pkts