Symbol: smsc9420_alloc_rx_buffer