Searched refs:invalidateASID (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 35 static inline void invalidateASID(vspace_root_t *vspace, asid_t asid, word_t mask) function
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1058 invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1065 invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
1071 invalidateASID(vspace, asid, SMP_TERNARY(tlb_bitmap_get(vspace), 0));
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1114 static void invalidateASID(asid_t asid) function
1178 invalidateASID(armKSHWASIDTable[hw_asid]);
1215 invalidateASID(asid);
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1069 static void invalidateASID(asid_t asid) function
1130 invalidateASID(armKSHWASIDTable[hw_asid]);
1167 invalidateASID(asid);
|
Completed in 82 milliseconds