Searched refs:cpuid_brand (Results 1 – 3 of 3) sorted by relevance
442 uint8_t cpuid_brand; member
670 info_p->cpuid_brand = bitfield32(reg[ebx], 7, 0); in cpuid_set_generic_info()708 DBG(" brand : %d\n", info_p->cpuid_brand); in cpuid_set_generic_info()
448 (void *)offsetof(i386_cpu_info_t, cpuid_brand), sizeof(uint8_t),