tsx_init         1627 arch/x86/kernel/cpu/common.c 	tsx_init();
tsx_init           56 arch/x86/kernel/cpu/cpu.h extern void __init tsx_init(void);