Searched defs:arch_switch (Results 1 – 7 of 7) sorted by relevance
17 static inline void arch_switch(void *switch_to, void **switched_from) in arch_switch() function
41 static inline void arch_switch(void *switch_to, void **switched_from) in arch_switch() function
75 static inline void arch_switch(void *switch_to, void **switched_from) in arch_switch() function
63 static ALWAYS_INLINE void arch_switch(void *switch_to, void **switched_from) in arch_switch() function
64 arch_switch(void *switch_to, void **switched_from) in arch_switch() function
36 static ALWAYS_INLINE void arch_switch(void *switch_to, void **switched_from) in arch_switch() function
