Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

aarch64/vspace: fix error reporting in decode

Browse Source 
seL4_InvalidCapability expects invalidCapNumber to be set.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2024-01-25 19:20:16 +11:00
parent 9ec543ce5a
commit 241d8d12c7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/arch/arm/64/kernel/vspace.c
View File

@@ -1521,7 +1521,7 @@ static exception_t decodeARMFrameInvocation(word_t invLabel, word_t length,
if (frame_asid != asid) {
userError("ARMPageMap: Attempting to remap a frame that does not belong to the passed address space");
current_syscall_error.type = seL4_InvalidCapability;
current_syscall_error.invalidArgumentNumber = 1;
current_syscall_error.invalidCapNumber = 1;
return EXCEPTION_SYSCALL_ERROR;
} else if (cap_frame_cap_get_capFMappedAddress(cap) != vaddr) {