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

libsel4: Add seL4_FastMessageRegisters

Browse source 
This allows benchmarks and utility code to only set registers in the ipc
buffer as required.
This commit is contained in:
Anna Lyons 2017-03-22 16:46:56 +11:00
parent 7561b2c5fc
commit beddca16cd
8 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/arch/arm/arch/32/mode/machine/registerset.h
View file

@ -116,7 +116,7 @@ compile_assert(r8_offset_correct, R8 * sizeof(word_t) == PT_R8)
typedef word_t register_t;
enum messageSizes {
n_msgRegisters = 4,
n_msgRegisters = seL4_FastMessageRegisters,
n_frameRegisters = 10,
n_gpRegisters = 7,
n_exceptionMessage = 3,

2
include/arch/arm/arch/64/mode/machine/registerset.h
View file

@ -144,7 +144,7 @@ compile_assert(faultinstruction_offset_correct, FaultInstruction * sizeof(word_t
typedef word_t register_t;
enum messageSizes {
n_msgRegisters = 4,
n_msgRegisters = seL4_FastMessageRegisters,
n_frameRegisters = 17,
n_gpRegisters = 17,
n_exceptionMessage = 3,

2
include/arch/x86/arch/32/mode/machine/registerset.h
View file

@ -61,7 +61,7 @@ enum _register {
typedef word_t register_t;
enum messageSizes {
n_msgRegisters = 2,
n_msgRegisters = seL4_FastMessageRegisters,
n_frameRegisters = 10,
n_gpRegisters = 3,
n_exceptionMessage = 3,

2
include/arch/x86/arch/64/mode/machine/registerset.h
View file

@ -71,7 +71,7 @@ enum _register {
typedef uint32_t register_t;
enum messageSizes {
n_msgRegisters = 4,
n_msgRegisters = seL4_FastMessageRegisters,
n_frameRegisters = 18,
n_gpRegisters = 1,
n_exceptionMessage = 3,

2
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
View file

@ -142,4 +142,6 @@ enum {
#define seL4_NumDualFunctionMonitors (0)
#endif
#define seL4_FastMessageRegisters 4
#endif

1
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h
View file

@ -96,4 +96,5 @@ enum {
#define seL4_NumDualFunctionMonitors (0)
#endif
#define seL4_FastMessageRegisters 4
#endif

1
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
View file

@ -104,4 +104,5 @@ enum {
} seL4_UserException_Msg;
#endif /* __ASSEMBLER__ */
#define seL4_FastMessageRegisters 2
#endif

1
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/constants.h
View file

@ -95,4 +95,5 @@ enum {
} seL4_UserException_Msg;
#endif /* __ASSEMBLER__ */
#define seL4_FastMessageRegisters 4
#endif /* __LIBSEL4_SEL4_SEL4_ARCH_CONSTANTS_H_ */