ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sel4: flush tlb on x86

Browse Source 
Issue #3041
This commit is contained in:
Alexander Boettcher 2018-11-30 08:58:53 +01:00 committed by Norman Feske
parent 6fb9c802d3
commit eead1af140
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
repos/base-sel4/patches/sel4_tlb_x86_bug.patch Normal file
View File

@ -0,0 +1,25 @@
--- src/kernel/sel4/src/arch/x86/kernel/vspace.c
+++ src/kernel/sel4/src/arch/x86/kernel/vspace.c
@@ -711,7 +711,6 @@ void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
{
findVSpaceForASID_ret_t find_ret;
lookupPTSlot_ret_t lu_ret;
- cap_t threadRoot;
lookupPDSlot_ret_t pd_ret;
pde_t *pde;
@@ -756,12 +756,8 @@ void unmapPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
break;
}
- /* check if page belongs to current address space */
- threadRoot = TCB_PTR_CTE_PTR(NODE_STATE(ksCurThread), tcbVTable)->cap;
- if (config_set(CONFIG_SUPPORT_PCID) || (isValidNativeRoot(threadRoot) && (vspace_root_t*)pptr_of_cap(threadRoot) == find_ret.vspace_root)) {
- invalidateTranslationSingleASID(vptr, asid,
- SMP_TERNARY(tlb_bitmap_get(find_ret.vspace_root), 0));
- }
+ invalidateTranslationSingleASID(vptr, asid,
+ SMP_TERNARY(tlb_bitmap_get(find_ret.vspace_root), 0));
}
void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t* pt)

2
repos/base-sel4/ports/sel4.hash
View File

@ -1 +1 @@
c59276cc6e3aa138a1e56af8c8a56ce64cf327b8
3c0361f787c7ecfebb40f1c64690c80a7e3a9b8c