diff --git a/repos/os/include/nic_session/connection.h b/repos/os/include/nic_session/connection.h index 7612ac6211..22f1d56e5b 100644 --- a/repos/os/include/nic_session/connection.h +++ b/repos/os/include/nic_session/connection.h @@ -33,12 +33,13 @@ struct Nic::Connection : Genode::Connection, Session_client */ Connection(Genode::Range_allocator *tx_block_alloc, Genode::size_t tx_buf_size, - Genode::size_t rx_buf_size) + Genode::size_t rx_buf_size, + char const *label = "") : Genode::Connection( - session("ram_quota=%zd, tx_buf_size=%zd, rx_buf_size=%zd", + session("ram_quota=%zd, tx_buf_size=%zd, rx_buf_size=%zd, label=\"%s\"", 6*4096 + tx_buf_size + rx_buf_size, - tx_buf_size, rx_buf_size)), + tx_buf_size, rx_buf_size, label)), Session_client(cap(), tx_block_alloc) { } };