Home
last modified time | relevance | path

Searched refs:x86_device (Results 1 – 4 of 4) sorted by relevance

/OK3568_Linux_fs/u-boot/arch/x86/cpu/i386/
H A Dcpu.c305 return gd->arch.x86_device & 0x0fff0ff0; in cpu_get_family_model()
339 gd->arch.x86_device = cpu.device; in x86_cpu_init_f()
/OK3568_Linux_fs/u-boot/arch/x86/include/asm/
H A Dglobal_data.h78 uint32_t x86_device; member
/OK3568_Linux_fs/u-boot/arch/x86/cpu/
H A Dcpu.c182 cpu_vendor_name(gd->arch.x86_vendor), gd->arch.x86_device); in default_print_cpuinfo()
H A Dmp_init.c575 plat->device_id = gd->arch.x86_device; in mp_init_cpu()