Searched refs:idte3_enable (Results 1 – 3 of 3) sorted by relevance
126 void idte3_enable(cpu_context_t *ctx);132 static inline void idte3_enable(cpu_context_t *ctx) in idte3_enable() function
278 void idte3_enable(cpu_context_t *context) in idte3_enable() function
609 idte3_enable(ctx); in setup_context_common()