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

trivial: rename of vspace cap ASID function

Browse Source 
This change was missing from the rename of the pgd cap
to vspace cap on aarch64. Allows vm fault fastpath enabled
configs to build.

Signed-off-by: Dan Shea <danshea00@gmail.com>
This commit is contained in:
Dan Shea
2023-10-05 13:14:38 +11:00
committed by Indan Zupancic
parent a9dae74c52
commit 3534865d33
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/fastpath/fastpath.c
View File

@@ -779,7 +779,7 @@ void NORETURN fastpath_vm_fault(vm_fault_type_t type)
#ifdef CONFIG_ARCH_AARCH64
/* Need to test that the ASID is still valid */
asid_t asid = cap_vtable_root_get_mappedASID(newVTable);
asid_t asid = cap_vspace_cap_get_capMappedASID(newVTable);
asid_map_t asid_map = findMapForASID(asid);
if (unlikely(asid_map_get_type(asid_map) != asid_map_asid_map_vspace ||
VSPACE_PTR(asid_map_asid_map_vspace_get_vspace_root(asid_map)) != cap_pd)) {