Searched refs:hw_asid (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/kernel/include/arch/arm/armv/armv6/armv/ |
H A D | context_switch.h | 13 static inline void setHardwareASID(hw_asid_t hw_asid) argument 17 writeContextID(hw_asid); 20 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument 23 setHardwareASID(hw_asid);
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
H A D | context_switch.h | 14 static inline void setHardwareASID(hw_asid_t hw_asid) argument 19 writeContextID(hw_asid); 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument 25 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd)); 43 setHardwareASID(hw_asid);
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
H A D | context_switch.h | 14 static inline void setHardwareASID(hw_asid_t hw_asid) argument 19 writeContextID(hw_asid); 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument 25 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd)); 43 setHardwareASID(hw_asid);
|
/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
H A D | context_switch.h | 14 static inline void setHardwareASID(hw_asid_t hw_asid) argument 19 writeContextID(hw_asid); 22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument 25 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd)); 43 setHardwareASID(hw_asid);
|
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/ |
H A D | tlb.h | 24 static inline void invalidateTranslationASIDLocal(hw_asid_t hw_asid) argument 27 invalidateLocalTLB_VMID(hw_asid); 29 invalidateLocalTLB_ASID(hw_asid); 44 static inline void invalidateTranslationASID(hw_asid_t hw_asid) argument 46 invalidateTranslationASIDLocal(hw_asid); 47 SMP_COND_STATEMENT(doRemoteInvalidateTranslationASID(hw_asid, MASK(CONFIG_MAX_NUM_NODES)));
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
H A D | fastpath.h | 45 hw_asid_t hw_asid; local 50 hw_asid = pde_pde_invalid_get_stored_hw_asid(stored_hw_asid); 51 armv_contextSwitch_HWASID(cap_pd, hw_asid);
|
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/ |
H A D | machine.h | 337 static inline void invalidateLocalTLB_ASID(hw_asid_t hw_asid) argument 343 asm volatile("mcr p15, 0, %0, c8, c7, 2" : : "r"(hw_asid));
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1095 static void storeHWASID(asid_t asid, hw_asid_t hw_asid) argument 1107 vtable[VTABLE_VMID_SLOT] = vtable_invalid_new(hw_asid, true); 1109 armKSHWASIDTable[hw_asid] = asid; 1115 hw_asid_t hw_asid; local 1121 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset); 1122 if (armKSHWASIDTable[hw_asid] == asidInvalid) { 1123 return hw_asid; 1127 hw_asid = armKSNextASID; 1130 invalidateASID(armKSHWASIDTable[hw_asid]); 1133 invalidateTranslationASID(hw_asid); 1253 uint64_t hw_asid = vtable_invalid_get_stored_hw_asid(stored_hw_asid); local [all...] |
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1142 static void storeHWASID(asid_t asid, hw_asid_t hw_asid) argument 1155 pd[PD_ASID_SLOT] = pde_pde_invalid_new(hw_asid, true); 1157 armKSHWASIDTable[hw_asid] = asid; 1163 hw_asid_t hw_asid; local 1169 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset); 1170 if (armKSHWASIDTable[hw_asid] == asidInvalid) { 1171 return hw_asid; 1175 hw_asid = armKSNextASID; 1178 invalidateASID(armKSHWASIDTable[hw_asid]); 1181 invalidateTranslationASID(hw_asid); [all...] |
Completed in 106 milliseconds