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

libsel4,riscv: Remove seL4_UserException_FLAGS

Browse source 
This field is unused and is never set to anything by the kernel. Other
architecture definitions of seL4_UserException_Msg contain an equivalent
field for a current-program-status-register-like register that the fault
handler can read and modify as part of fault handling. RISC-V's
equivalent register SSTATUS doesn't contain any fields that would be
useful for a fault handler to modify at this stage and so the register
isn't transferred in the fault.

Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
This commit is contained in:
Kent McLeod 2020-04-15 13:46:13 +10:00 committed by Kent Mcleod
parent 9f5733e159
commit 0c88f21aaf
6 changed files with 2 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -70,7 +70,6 @@ enum {
enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_FLAGS,
seL4_UserException_Number,
seL4_UserException_Code,
seL4_UserException_Length,

1
libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/faults.h
View file

@ -31,7 +31,6 @@ LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag)
case seL4_Fault_UserException:
return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
seL4_GetMR(seL4_UserException_SP),
seL4_GetMR(seL4_UserException_FLAGS),
seL4_GetMR(seL4_UserException_Number),
seL4_GetMR(seL4_UserException_Code));
case seL4_Fault_VMFault:

3
libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/types.bf
View file

@ -65,10 +65,9 @@ block UnknownSyscall {
}
block UserException {
padding 192
padding 224
field FaultIP 32
field SP 32
field FLAGS 32
field Number 32
field Code 32
padding 28

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

@ -72,7 +72,6 @@ enum {
enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_FLAGS,
seL4_UserException_Number,
seL4_UserException_Code,
seL4_UserException_Length,

1
libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/faults.h
View file

@ -31,7 +31,6 @@ LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag)
case seL4_Fault_UserException:
return seL4_Fault_UserException_new(seL4_GetMR(seL4_UserException_FaultIP),
seL4_GetMR(seL4_UserException_SP),
seL4_GetMR(seL4_UserException_FLAGS),
seL4_GetMR(seL4_UserException_Number),
seL4_GetMR(seL4_UserException_Code));
case seL4_Fault_VMFault:

3
libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/types.bf
View file

@ -67,10 +67,9 @@ block UnknownSyscall {
}
block UserException {
padding 384
padding 448
field FaultIP 64
field SP 64
field FLAGS 64
field Number 64
field Code 64
padding 60