Searched refs:doublefault_init_cpu_tss (Results 1 – 3 of 3) sorted by relevance
8 extern void doublefault_init_cpu_tss(void);10 static inline void doublefault_init_cpu_tss(void) in doublefault_init_cpu_tss() function
115 void doublefault_init_cpu_tss(void) in doublefault_init_cpu_tss() function
2276 doublefault_init_cpu_tss(); in cpu_init()