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

unify libsel4 type definitions

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-11-15 04:09:59 +01:00 committed by Gerwin Klein
parent dbd72f01f7
commit 9db040fbaa
4 changed files with 10 additions and 29 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
include/arch/arm/arch/types.h
View file

@ -30,16 +30,6 @@ enum hwASIDConstants {
hwASIDBits = 8
};
/* for libsel4 headers that the kernel shares */
typedef word_t seL4_Word;
typedef cptr_t seL4_CPtr;
typedef uint32_t seL4_Uint32;
typedef uint16_t seL4_Uint16;
typedef uint8_t seL4_Uint8;
typedef node_id_t seL4_NodeId;
typedef dom_t seL4_Domain;
typedef paddr_t seL4_PAddr;
typedef struct kernel_frame {
paddr_t paddr;
pptr_t pptr;

9
include/arch/riscv/arch/types.h
View file

@ -26,15 +26,6 @@ typedef word_t cpu_id_t;
typedef word_t node_id_t;
typedef word_t dom_t;
/* for libsel4 headers that the kernel shares */
typedef word_t seL4_Word;
typedef cptr_t seL4_CPtr;
typedef uint32_t seL4_Uint32;
typedef uint8_t seL4_Uint8;
typedef node_id_t seL4_NodeId;
typedef paddr_t seL4_PAddr;
typedef dom_t seL4_Domain;
typedef uint64_t timestamp_t;
#define wordBits BIT(wordRadix)

10
include/arch/x86/arch/types.h
View file

@ -25,14 +25,4 @@ typedef uint32_t logical_id_t;
typedef word_t node_id_t;
typedef word_t dom_t;
/* for libsel4 headers that the kernel shares */
typedef word_t seL4_Word;
typedef cptr_t seL4_CPtr;
typedef uint16_t seL4_Uint16;
typedef uint32_t seL4_Uint32;
typedef uint8_t seL4_Uint8;
typedef node_id_t seL4_NodeId;
typedef paddr_t seL4_PAddr;
typedef dom_t seL4_Domain;
typedef uint64_t timestamp_t;

10
include/basic_types.h
View file

@ -67,3 +67,13 @@ typedef struct v_region {
/* equivalent to a word_t except that we tell the compiler that we may alias with
* any other type (similar to a char pointer) */
typedef word_t __attribute__((__may_alias__)) word_t_may_alias;
/* for libsel4 headers that the kernel shares */
typedef uint8_t seL4_Uint8;
typedef uint16_t seL4_Uint16;
typedef uint32_t seL4_Uint32;
typedef word_t seL4_Word;
typedef cptr_t seL4_CPtr;
typedef node_id_t seL4_NodeId;
typedef paddr_t seL4_PAddr;
typedef dom_t seL4_Domain;