Searched refs:hw_asid (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h13 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 Dcontext_switch.h14 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 Dcontext_switch.h14 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 Dcontext_switch.h14 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 Dtlb.h24 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 Dfastpath.h45 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 Dmachine.h337 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 Dvspace.c1095 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 Dvspace.c1142 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