From 4a8b9edb8f24a266b7e429f96a053648a659b802 Mon Sep 17 00:00:00 2001 From: Rafal Kolanski Date: Tue, 28 Apr 2020 07:37:50 +1000 Subject: [PATCH] riscv: add return in decodeRISCVFrameInvocation Previous change to return values accidentally removed it. Signed-off-by: Rafal Kolanski --- src/arch/riscv/kernel/vspace.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/arch/riscv/kernel/vspace.c b/src/arch/riscv/kernel/vspace.c index 171ad4361..91a9a104b 100644 --- a/src/arch/riscv/kernel/vspace.c +++ b/src/arch/riscv/kernel/vspace.c @@ -850,6 +850,7 @@ static exception_t decodeRISCVFrameInvocation(word_t label, word_t length, userError("RISCVPageMap: attempting to map frame into multiple addresses"); current_syscall_error.type = seL4_InvalidArgument; current_syscall_error.invalidArgumentNumber = 0; + return EXCEPTION_SYSCALL_ERROR; } if (unlikely(isPTEPageTable(lu_ret.ptSlot))) { userError("RISCVPageMap: no mapping to remap.");