• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /seL4-mcs-10.1.1/src/arch/x86/machine/

Lines Matching defs:ci

41 x86_cpuid_fill_vendor_string(cpu_identity_t *ci)
43 MAY_ALIAS uint32_t *vendor_string32 = (uint32_t *)ci->vendor_string;
45 if (ci == NULL) {
53 ci->vendor_string[X86_CPUID_VENDOR_STRING_MAXLENGTH] = '\0';
61 x86_cpuid_intel_identity_initialize(cpu_identity_t *ci,
71 ci->display.family = original.family;
73 ci->display.family = ci->display.extended_family + original.family;
82 * if (ci->display.family == 0x06 || ci->display.family == 0x0F) {
95 if (ci->display.family == 0x06 || ci->display.family == 0x0F) {
96 ci->display.model = (ci->display.extended_model << 4u) + original.model;
98 ci->display.model = original.model;
103 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci,
114 ci->display.family = original.family;
115 ci->display.model = original.model;
117 ci->display.family = original.family + ci->display.extended_family;
118 ci->display.family = (ci->display.extended_model << 4u) + original.model;
125 cpu_identity_t *ci = x86_cpuid_get_identity();
130 memset(ci, 0, sizeof(*ci));
133 x86_cpuid_fill_vendor_string(ci);
144 ci->display.stepping = cpuid_001h_eax_get_stepping(eax);
147 ci->display.extended_family = cpuid_001h_eax_get_extended_family(eax);
148 ci->display.extended_model = cpuid_001h_eax_get_extended_model(eax);
151 ci->display.brand = cpuid_001h_ebx_get_brand(ebx);
153 if (strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_INTEL,
155 ci->vendor = X86_VENDOR_INTEL;
156 x86_cpuid_intel_identity_initialize(ci, original);
158 } else if (strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_AMD_LEGACY,
160 || strncmp(ci->vendor_string, X86_CPUID_VENDOR_STRING_AMD,
162 ci->vendor = X86_VENDOR_AMD;
163 x86_cpuid_amd_identity_initialize(ci, original);
170 ci->vendor = X86_VENDOR_OTHER;