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

libsel4: unify seL4 type definitions

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-03-13 22:35:04 +01:00 committed by Oliver Scott
parent 7afebd31ee
commit e4256d48fa
7 changed files with 6 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
libsel4/arch_include/riscv/sel4/arch/types.h
View file

@ -12,16 +12,11 @@
#include <sel4/simple_types.h>
#include <sel4/sel4_arch/types.h>
typedef seL4_Word seL4_CPtr;
typedef seL4_CPtr seL4_RISCV_Page;
typedef seL4_CPtr seL4_RISCV_PageTable;
typedef seL4_CPtr seL4_RISCV_ASIDControl;
typedef seL4_CPtr seL4_RISCV_ASIDPool;
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
#define seL4_EndpointBits 4
/* User context as used by seL4_TCB_ReadRegisters / seL4_TCB_WriteRegisters */

2
libsel4/include/sel4/simple_types.h
View file

@ -119,6 +119,8 @@ typedef seL4_Uint64 seL4_Word;
#error missing definition for SEL4_WORD type
#endif
typedef seL4_Word seL4_CPtr;
/* sanity check that the seL4_Word matches the definitions of the constants */
#include <sel4/sel4_arch/constants.h>

4
libsel4/include/sel4/types.h
View file

@ -28,6 +28,10 @@
# define seL4_UntypedRetypeMaxObjects 256
#endif
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
typedef seL4_CPtr seL4_CNode;
typedef seL4_CPtr seL4_IRQHandler;
typedef seL4_CPtr seL4_IRQControl;

5
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h
View file

@ -8,11 +8,6 @@
#include <sel4/simple_types.h>
typedef seL4_Word seL4_CPtr;
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
typedef struct seL4_UserContext_ {
/* frame registers */
seL4_Word pc, sp, cpsr, r0, r1, r8, r9, r10, r11, r12;

5
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/types.h
View file

@ -8,11 +8,6 @@
#include <sel4/simple_types.h>
typedef seL4_Word seL4_CPtr;
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
typedef seL4_CPtr seL4_ARM_PageUpperDirectory;
typedef seL4_CPtr seL4_ARM_PageGlobalDirectory;
/* whether the VSpace refers to a PageUpperDirectory or PageGlobalDirectory directly

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h
View file

@ -9,12 +9,6 @@
#include <autoconf.h>
#include <sel4/simple_types.h>
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
typedef seL4_Word seL4_CPtr;
/* User context as used by seL4_TCB_ReadRegisters / seL4_TCB_WriteRegisters */
typedef struct seL4_UserContext_ {
/* frameRegisters */

6
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/types.h
View file

@ -9,12 +9,6 @@
#include <autoconf.h>
#include <sel4/simple_types.h>
typedef seL4_Word seL4_NodeId;
typedef seL4_Word seL4_PAddr;
typedef seL4_Word seL4_Domain;
typedef seL4_Word seL4_CPtr;
typedef seL4_CPtr seL4_X64_PML4;
/* User context as used by seL4_TCB_ReadRegisters / seL4_TCB_WriteRegisters */