Searched refs:check_tcc_offset (Results 1 – 1 of 1) sorted by relevance
4044 void check_tcc_offset(int model) in check_tcc_offset() function5806 check_tcc_offset(model_orig); in process_cpuid()