ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-30 08:03:59 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

os: define CAP_QUOTA as constexpr (C++20)

Browse Source 
Issue #4869
This commit is contained in:
Norman Feske 2023-05-15 17:47:54 +02:00 committed by Christian Helmuth
parent 604d6bf567
commit 29079b2ac8
19 changed files with 22 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/include/audio_in_session/audio_in_session.h
View File

@ -293,7 +293,7 @@ class Audio_in::Session : public Genode::Session
*/ */
static const char *service_name() { return "Audio_in"; } static const char *service_name() { return "Audio_in"; }
enum { CAP_QUOTA = 4 }; static constexpr unsigned CAP_QUOTA = 4;
/** /**
* Return stream of this session, see 'Stream' above * Return stream of this session, see 'Stream' above

2
repos/os/include/audio_out_session/audio_out_session.h
View File

@ -314,7 +314,7 @@ class Audio_out::Session : public Genode::Session
*/ */
static const char *service_name() { return "Audio_out"; } static const char *service_name() { return "Audio_out"; }
enum { CAP_QUOTA = 4 }; static constexpr unsigned CAP_QUOTA = 4;
/** /**
* Return stream of this session, see 'Stream' above * Return stream of this session, see 'Stream' above

2
repos/os/include/block_session/block_session.h
View File

@ -182,7 +182,7 @@ struct Block::Session : public Genode::Session
*/ */
static const char *service_name() { return "Block"; } static const char *service_name() { return "Block"; }
enum { CAP_QUOTA = 5 }; static constexpr unsigned CAP_QUOTA = 5;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/capture_session/capture_session.h
View File

@ -47,7 +47,7 @@ struct Capture::Session : Genode::Session
* session-object allocation, a session capability, and a dataspace * session-object allocation, a session capability, and a dataspace
* capability for the pixel buffer. * capability for the pixel buffer.
*/ */
enum { CAP_QUOTA = 3 }; static constexpr unsigned CAP_QUOTA = 3;
/** /**
* Return number of bytes needed for pixel buffer of specified size * Return number of bytes needed for pixel buffer of specified size

2
repos/os/include/event_session/event_session.h
View File

@ -33,7 +33,7 @@ struct Event::Session : Genode::Session
* session-object allocation, a dataspace capability for the event * session-object allocation, a dataspace capability for the event
* buffer, and its session capability. * buffer, and its session capability.
*/ */
enum { CAP_QUOTA = 3 }; static constexpr unsigned CAP_QUOTA = 3;
/********************* /*********************

2
repos/os/include/file_system_session/file_system_session.h
View File

@ -330,7 +330,7 @@ struct File_system::Session : public Genode::Session
*/ */
static const char *service_name() { return "File_system"; } static const char *service_name() { return "File_system"; }
enum { CAP_QUOTA = 12 }; static constexpr unsigned CAP_QUOTA = 12;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/gpio_session/gpio_session.h
View File

@ -31,7 +31,7 @@ struct Gpio::Session : Genode::Session
*/ */
static const char *service_name() { return "Gpio"; } static const char *service_name() { return "Gpio"; }
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
enum Direction { IN, OUT }; enum Direction { IN, OUT };

6
repos/os/include/gpu_session/gpu_session.h
View File

@ -112,7 +112,6 @@ struct Gpu::Virtual_address
}; };
/* /*
* Gpu session interface * Gpu session interface
*/ */
@ -124,12 +123,15 @@ struct Gpu::Session : public Genode::Session
struct Conflicting_id : Genode::Exception { }; struct Conflicting_id : Genode::Exception { };
struct Mapping_vram_failed : Genode::Exception { }; struct Mapping_vram_failed : Genode::Exception { };
enum { REQUIRED_QUOTA = 1024 * 1024, CAP_QUOTA = 32, }; static constexpr Genode::size_t REQUIRED_QUOTA = 1024*1024;
static constexpr unsigned CAP_QUOTA = 32;
static const char *service_name() { return "Gpu"; } static const char *service_name() { return "Gpu"; }
virtual ~Session() { } virtual ~Session() { }
/*********************** /***********************
** Session interface ** ** Session interface **
***********************/ ***********************/

2
repos/os/include/i2c_session/i2c_session.h
View File

@ -32,7 +32,7 @@ struct I2c::Session : public Genode::Session
*/ */
static char const *service_name() { return "I2c"; } static char const *service_name() { return "I2c"; }
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
/** /**
* Exception thrown in case of a bus error * Exception thrown in case of a bus error

2
repos/os/include/loader_session/loader_session.h
View File

@ -62,7 +62,7 @@ struct Loader::Session : Genode::Session
*/ */
static const char *service_name() { return "Loader"; } static const char *service_name() { return "Loader"; }
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/nic_session/nic_session.h
View File

@ -77,7 +77,7 @@ struct Nic::Session : Genode::Session
* rx and tx, and four signal context capabilities for the data-flow * rx and tx, and four signal context capabilities for the data-flow
* signals. * signals.
*/ */
enum { CAP_QUOTA = 8 }; static constexpr unsigned CAP_QUOTA = 8;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/pin_control_session/pin_control_session.h
View File

@ -36,7 +36,7 @@ struct Pin_control::Session : Genode::Session
* A pin-control session consumes a dataspace capability for the server's * A pin-control session consumes a dataspace capability for the server's
* session-object allocation and its session capability. * session-object allocation and its session capability.
*/ */
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
virtual void state(bool) = 0; virtual void state(bool) = 0;

2
repos/os/include/pin_state_session/pin_state_session.h
View File

@ -36,7 +36,7 @@ struct Pin_state::Session : Genode::Session
* A pin-state session consumes a dataspace capability for the server's * A pin-state session consumes a dataspace capability for the server's
* session-object allocation and its session capability. * session-object allocation and its session capability.
*/ */
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
virtual bool state() const = 0; virtual bool state() const = 0;

2
repos/os/include/platform_session/platform_session.h
View File

@ -57,7 +57,7 @@ struct Platform::Session : Genode::Session
*/ */
static const char *service_name() { return "Platform"; } static const char *service_name() { return "Platform"; }
enum { CAP_QUOTA = 6 }; static constexpr unsigned CAP_QUOTA = 6;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/report_session/report_session.h
View File

@ -60,7 +60,7 @@ struct Report::Session : Genode::Session
* session-object allocation, the session capability, and a dataspace * session-object allocation, the session capability, and a dataspace
* capability for the report buffer. * capability for the report buffer.
*/ */
enum { CAP_QUOTA = 3 }; static constexpr unsigned CAP_QUOTA = 3;
typedef Session_client Client; typedef Session_client Client;

2
repos/os/include/rtc_session/rtc_session.h
View File

@ -55,7 +55,7 @@ struct Rtc::Session : Genode::Session
*/ */
static const char *service_name() { return "Rtc"; } static const char *service_name() { return "Rtc"; }
enum { CAP_QUOTA = 2 }; static constexpr unsigned CAP_QUOTA = 2;
/*********************** /***********************

2
repos/os/include/terminal_session/terminal_session.h
View File

@ -34,7 +34,7 @@ struct Terminal::Session : Genode::Session
* session-object allocation, its session capability, and a dataspace * session-object allocation, its session capability, and a dataspace
* capability for the communication buffer. * capability for the communication buffer.
*/ */
enum { CAP_QUOTA = 3 }; static constexpr unsigned CAP_QUOTA = 3;
class Size class Size
{ {

2
repos/os/include/uplink_session/uplink_session.h
View File

@ -72,7 +72,7 @@ struct Uplink::Session : Genode::Session
* rx and tx, and four signal context capabilities for the data-flow * rx and tx, and four signal context capabilities for the data-flow
* signals. * signals.
*/ */
enum { CAP_QUOTA = 8 }; static constexpr unsigned CAP_QUOTA = 8;
virtual ~Session() { } virtual ~Session() { }

2
repos/os/include/usb_session/usb_session.h
View File

@ -181,7 +181,7 @@ struct Usb::Session : public Genode::Session
*/ */
static const char *service_name() { return "Usb"; } static const char *service_name() { return "Usb"; }
enum { CAP_QUOTA = 5 }; static constexpr unsigned CAP_QUOTA = 5;
/** /**
* Send from the server to the client upon device state change * Send from the server to the client upon device state change