Searched refs:tcr2_enable (Results 1 – 3 of 3) sorted by relevance
13 void tcr2_enable(cpu_context_t *ctx);16 static inline void tcr2_enable(cpu_context_t *ctx) in tcr2_enable() function
12 void tcr2_enable(cpu_context_t *ctx) in tcr2_enable() function
603 tcr2_enable(ctx); in setup_context_common()