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

Remove VMKernelReadOnly from AArch64 VM rights

Browse source 
In the interest of stability and not breaking
things, the value of VMReadOnly remains the same.

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic 2023-05-24 12:34:53 +10:00 committed by Gerwin Klein
parent ac49331e2a
commit 8c9cf6c7db
2 changed files with 0 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/arch/arm/arch/64/mode/object/structures.h
View file

@ -26,7 +26,6 @@ typedef struct arch_tcb {
enum vm_rights {
VMKernelOnly = 0,
VMReadWrite = 1,
VMKernelReadOnly = 2,
VMReadOnly = 3
};
typedef word_t vm_rights_t;

8
src/arch/arm/64/kernel/vspace.c
View file

@ -149,14 +149,6 @@ static word_t CONST APFromVMRights(vm_rights_t vm_rights)
return 1;
}
case VMKernelReadOnly:
if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
/* no corresponding AP for S2AP, return None */
return 0;
} else {
return 2;
}
case VMReadOnly:
if (config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) {
return 1;