Symbol: tsx_init
arch/x86/kernel/cpu/common.c
2164
tsx_init();
arch/x86/kernel/cpu/cpu.h
45
extern void __init tsx_init(void);