__mcheck_cpu_init_vendor
__mcheck_cpu_init_vendor(c);
__mcheck_cpu_init_vendor(raw_cpu_ptr(&cpu_info));