Searched refs:x86_device (Results 1 – 4 of 4) sorted by relevance
77 uint32_t x86_device; member
304 return gd->arch.x86_device & 0x0fff0ff0; in cpu_get_family_model()338 gd->arch.x86_device = cpu.device; in x86_cpu_init_f()
156 cpu_vendor_name(gd->arch.x86_vendor), gd->arch.x86_device); in default_print_cpuinfo()
574 plat->device_id = gd->arch.x86_device; in mp_init_cpu()