Searched defs:armv_contextSwitch_HWASID (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/armv/armv6/armv/
H A Dcontext_switch.h24 static inline void armv_contextSwitch_HWASID(pde_t* cap_pd, hw_asid_t hw_asid) function
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/
H A Dcontext_switch.h26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) function
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/
H A Dcontext_switch.h26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) function
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/32/armv/
H A Dcontext_switch.h26 static inline void armv_contextSwitch_HWASID(pde_t *cap_pd, hw_asid_t hw_asid) function

Completed in 28 milliseconds