doublefault_init_cpu_tss
static inline void doublefault_init_cpu_tss(void)
void doublefault_init_cpu_tss(void)