ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-26 17:01:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Annotate irq session interface with RAM_QUOTA

Browse Source 
Ref #3299
This commit is contained in:
Stefan Kalkowski 2020-05-14 15:30:31 +02:00 committed by Christian Helmuth
parent 6e6b671a66
commit b915b0adc4
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base/include/irq_session/connection.h
View File

@ -35,9 +35,10 @@ struct Genode::Irq_connection : Connection<Irq_session>, Irq_session_client
Genode::addr_t device_config_phys = 0) Genode::addr_t device_config_phys = 0)
: :
Connection<Irq_session>(env, session(env.parent(), Connection<Irq_session>(env, session(env.parent(),
"ram_quota=6K, cap_quota=4, " "ram_quota=%u, cap_quota=%u, "
"irq_number=%u, irq_trigger=%u, " "irq_number=%u, irq_trigger=%u, "
"irq_polarity=%u, device_config_phys=0x%lx", "irq_polarity=%u, device_config_phys=0x%lx",
RAM_QUOTA, CAP_QUOTA,
irq, trigger, polarity, device_config_phys)), irq, trigger, polarity, device_config_phys)),
Irq_session_client(cap()) Irq_session_client(cap())
{ } { }

2
repos/base/include/irq_session/irq_session.h
View File

@ -78,7 +78,7 @@ struct Genode::Irq_session : Session
*/ */
static const char * service_name() { return "IRQ"; } static const char * service_name() { return "IRQ"; }
enum { CAP_QUOTA = 3 }; enum { CAP_QUOTA = 3, RAM_QUOTA = 6 * 1024 };
/********************* /*********************