portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Replace bools with ints in shared_types header

Browse source 
The motivation for this change is the fact that the types of `true` and
`false` are different between userland and the kernel. This was forcing
code including shared_types.h to first include the appropriate header
defining `true` and `false`. This change prevents this need.
This commit is contained in:
Stephen Sherratt 2016-11-28 11:12:24 +11:00
parent 16062789c7
commit 0197d63b6a
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
libsel4/include/sel4/shared_types.h
View file

@ -35,11 +35,11 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_CapFault_Msg),
} seL4_CapFault_Msg;
#define seL4_ReadWrite seL4_CapRights_new(false, true, true)
#define seL4_AllRights seL4_CapRights_new(true, true, true)
#define seL4_CanRead seL4_CapRights_new(false, true, false)
#define seL4_CanWrite seL4_CapRights_new(false, false, true)
#define seL4_CanGrant seL4_CapRights_new(true, false, false)
#define seL4_NoWrite seL4_CapRights_new(true, true, false);
#define seL4_ReadWrite seL4_CapRights_new(0, 1, 1)
#define seL4_AllRights seL4_CapRights_new(1, 1, 1)
#define seL4_CanRead seL4_CapRights_new(0, 1, 0)
#define seL4_CanWrite seL4_CapRights_new(0, 0, 1)
#define seL4_CanGrant seL4_CapRights_new(1, 0, 0)
#define seL4_NoWrite seL4_CapRights_new(1, 1, 0);
#endif