Searched refs:hw_asid (Results 1 - 10 of 10) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv6/armv/ |
| H A D | context_switch.h | 17 static inline void setHardwareASID(hw_asid_t hw_asid) argument
21 writeContextID(hw_asid);
24 static inline void armv_contextSwitch_HWASID(pde_t* cap_pd, hw_asid_t hw_asid) argument
27 setHardwareASID(hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/ |
| H A D | context_switch.h | 18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
23 writeContextID(hw_asid);
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
29 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd));
47 setHardwareASID(hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/ |
| H A D | context_switch.h | 18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
23 writeContextID(hw_asid);
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
29 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd));
47 setHardwareASID(hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | context_switch.h | 18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
23 writeContextID(hw_asid);
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
29 writeContextIDAndPD(hw_asid, addrFromPPtr(cap_pd));
47 setHardwareASID(hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
| H A D | tlb.h | 31 static inline void invalidateTranslationASIDLocal(hw_asid_t hw_asid) argument
34 invalidateLocalTLB_VMID(hw_asid);
36 invalidateLocalTLB_ASID(hw_asid);
51 static inline void invalidateTranslationASID(hw_asid_t hw_asid) argument
53 invalidateTranslationASIDLocal(hw_asid);
54 SMP_COND_STATEMENT(doRemoteInvalidateTranslationASID(hw_asid, MASK(CONFIG_MAX_NUM_NODES)));
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | dc_20081211.c | 24 void setHardwareASID(hw_asid_t hw_asid);
30 void invalidateHWASID(hw_asid_t hw_asid);
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 51 hw_asid_t hw_asid; local
53 hw_asid = pde_pde_invalid_get_stored_hw_asid(stored_hw_asid);
54 armv_contextSwitch_HWASID(cap_pd, hw_asid);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1121 makePGDEWithHWASID(hw_asid_t hw_asid) argument
1123 /* We need to shift the hw_asid by PGDE_VMID_SHIFT bits in
1127 return pgde_new(((hw_asid & VMID_MASK) << PGDE_VMID_SHIFT), 0);
1167 storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1180 pgd[PGD_VMID_SLOT] = makePGDEWithHWASID(hw_asid);
1182 armKSHWASIDTable[hw_asid] = asid;
1189 hw_asid_t hw_asid; local
1195 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1196 if (armKSHWASIDTable[hw_asid] == asidInvalid) {
1197 return hw_asid;
1239 hw_asid_t hw_asid = getHWASIDByASID(asid); local
1253 hw_asid_t hw_asid = getHWASIDByASID(asid); local
1267 word_t hw_asid = getHWASIDByASID(asid); local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 303 static inline void invalidateLocalTLB_ASID(hw_asid_t hw_asid) argument
309 asm volatile("mcr p15, 0, %0, c8, c7, 2" : : "r"(hw_asid));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1200 storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1213 pd[PD_ASID_SLOT] = pde_pde_invalid_new(hw_asid, true);
1215 armKSHWASIDTable[hw_asid] = asid;
1222 hw_asid_t hw_asid; local
1228 hw_asid = armKSNextASID + ((hw_asid_t)hw_asid_offset);
1229 if (armKSHWASIDTable[hw_asid] == asidInvalid) {
1230 return hw_asid;
1234 hw_asid = armKSNextASID;
1237 invalidateASID(armKSHWASIDTable[hw_asid]);
1240 invalidateTranslationASID(hw_asid);
[all...] |
Completed in 103 milliseconds