sel4_virtio_net

Constant NET_QUEUE_SIZE

Source 
pub const NET_QUEUE_SIZE: usize = 16;