Searched refs:x86_device (Results 1 – 4 of 4) sorted by relevance
93 uint32_t x86_device; member
350 return gd->arch.x86_device & 0x0fff0ff0; in cpu_get_family_model()390 gd->arch.x86_device = cpu.device; in setup_identity()
171 cpu_vendor_name(gd->arch.x86_vendor), gd->arch.x86_device); in default_print_cpuinfo()
713 plat->device_id = gd->arch.x86_device; in mp_init_cpu()
Completed in 9 milliseconds