From b915b0adc4290d44190c030e9689e1a9223f0693 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Thu, 14 May 2020 15:30:31 +0200 Subject: [PATCH] Annotate irq session interface with RAM_QUOTA Ref #3299 --- repos/base/include/irq_session/connection.h | 3 ++- repos/base/include/irq_session/irq_session.h | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/repos/base/include/irq_session/connection.h b/repos/base/include/irq_session/connection.h index 35e4762fc..38cb64364 100644 --- a/repos/base/include/irq_session/connection.h +++ b/repos/base/include/irq_session/connection.h @@ -35,9 +35,10 @@ struct Genode::Irq_connection : Connection, Irq_session_client Genode::addr_t device_config_phys = 0) : Connection(env, session(env.parent(), - "ram_quota=6K, cap_quota=4, " + "ram_quota=%u, cap_quota=%u, " "irq_number=%u, irq_trigger=%u, " "irq_polarity=%u, device_config_phys=0x%lx", + RAM_QUOTA, CAP_QUOTA, irq, trigger, polarity, device_config_phys)), Irq_session_client(cap()) { } diff --git a/repos/base/include/irq_session/irq_session.h b/repos/base/include/irq_session/irq_session.h index f5b85ac2b..cb6807bc4 100644 --- a/repos/base/include/irq_session/irq_session.h +++ b/repos/base/include/irq_session/irq_session.h @@ -78,7 +78,7 @@ struct Genode::Irq_session : Session */ static const char * service_name() { return "IRQ"; } - enum { CAP_QUOTA = 3 }; + enum { CAP_QUOTA = 3, RAM_QUOTA = 6 * 1024 }; /*********************