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

/seL4-test-master/kernel/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h13 static inline void setHardwareASID(hw_asid_t hw_asid) argument
20 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h14 static inline void setHardwareASID(hw_asid_t hw_asid) argument
22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h14 static inline void setHardwareASID(hw_asid_t hw_asid) argument
22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-test-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
22 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) argument
/seL4-test-master/kernel/include/arch/arm/arch/machine/
H A Dtlb.h24 static inline void invalidateTranslationASIDLocal(hw_asid_t hw_asid) argument
44 static inline void invalidateTranslationASID(hw_asid_t hw_asid) argument
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h45 hw_asid_t hw_asid; local
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine.h337 static inline void invalidateLocalTLB_ASID(hw_asid_t hw_asid) argument
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1142 static void storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1163 hw_asid_t hw_asid; local
[all...]
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1095 static void storeHWASID(asid_t asid, hw_asid_t hw_asid) argument
1115 hw_asid_t hw_asid; local
1253 uint64_t hw_asid = vtable_invalid_get_stored_hw_asid(stored_hw_asid); local
[all...]

Completed in 102 milliseconds