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

/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h17 static inline void setHardwareASID(hw_asid_t hw_asid) argument
24 static inline void armv_contextSwitch_HWASID(pde_t* cap_pd, hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dcontext_switch.h18 static inline void setHardwareASID(hw_asid_t hw_asid) argument
26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Dtlb.h31 static inline void invalidateTranslationASIDLocal(hw_asid_t hw_asid) argument
51 static inline void invalidateTranslationASID(hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h51 hw_asid_t hw_asid; local
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/
H A Dmachine.h303 static inline void invalidateLocalTLB_ASID(hw_asid_t hw_asid) argument
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1200 storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1222 hw_asid_t hw_asid; local
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1121 makePGDEWithHWASID(hw_asid_t hw_asid) argument
1167 storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1189 hw_asid_t hw_asid; local
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...]

Completed in 96 milliseconds