Searched defs:ci (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dcpu_identification.c41 x86_cpuid_fill_vendor_string(cpu_identity_t *ci) argument
61 x86_cpuid_intel_identity_initialize(cpu_identity_t *ci, argument
103 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, struct family_model original) argument
125 cpu_identity_t *ci = x86_cpuid_get_identity(); local
[all...]

Completed in 23 milliseconds