tme_activate_cpu0  567 arch/x86/kernel/cpu/intel.c 	static u64 tme_activate_cpu0 = 0;
tme_activate_cpu0  572 arch/x86/kernel/cpu/intel.c 		if (tme_activate != tme_activate_cpu0) {
tme_activate_cpu0  581 arch/x86/kernel/cpu/intel.c 		tme_activate_cpu0 = tme_activate;