tsx_init           60 arch/x86/kernel/cpu/cpu.h static inline void tsx_init(void) { }
tsx_init           84 arch/x86/kernel/cpu/tsx.c void __init tsx_init(void)