intel_tcc_get_offset
offset = intel_tcc_get_offset(-1);
tcc_offset_save = intel_tcc_get_offset(-1);
EXPORT_SYMBOL_NS_GPL(intel_tcc_get_offset, "INTEL_TCC");
int offset = intel_tcc_get_offset(-1);
int intel_tcc_get_offset(int cpu);