Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

libsel4: Eliminate unnamed enums

Browse Source 
Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale
2024-02-07 09:18:48 +00:00
committed by Gerwin Klein
parent 7d3353332a
commit 9bac64c6ce
2 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
libsel4/include/sel4/bootinfo_types.h
View File

@@ -11,7 +11,7 @@
#include <sel4/sel4_arch/constants.h> #include <sel4/sel4_arch/constants.h>
/* caps with fixed slot positions in the root CNode */ /* caps with fixed slot positions in the root CNode */
enum { enum seL4_RootCNodeCapSlots {
seL4_CapNull = 0, /* null cap */ seL4_CapNull = 0, /* null cap */
seL4_CapInitThreadTCB = 1, /* initial thread's TCB cap */ seL4_CapInitThreadTCB = 1, /* initial thread's TCB cap */
seL4_CapInitThreadCNode = 2, /* initial thread's root CNode cap */ seL4_CapInitThreadCNode = 2, /* initial thread's root CNode cap */

6
libsel4/include/sel4/constants.h
View File

@@ -51,12 +51,10 @@ enum priorityConstants {
enum seL4_MsgLimits { enum seL4_MsgLimits {
seL4_MsgLengthBits = 7, seL4_MsgLengthBits = 7,
seL4_MsgExtraCapBits = 2 seL4_MsgExtraCapBits = 2,
seL4_MsgMaxLength = 120
}; };
enum {
seL4_MsgMaxLength = 120,
};
#define seL4_MsgMaxExtraCaps (LIBSEL4_BIT(seL4_MsgExtraCapBits)-1) #define seL4_MsgMaxExtraCaps (LIBSEL4_BIT(seL4_MsgExtraCapBits)-1)
/* seL4_CapRights_t defined in shared_types_*.bf */ /* seL4_CapRights_t defined in shared_types_*.bf */