Searched refs:x86_cpuid_amd_identity_initialize (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/src/arch/x86/machine/ | ||
H A D | cpu_identification.c | 103 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, function 163 x86_cpuid_amd_identity_initialize(ci, original); |
Completed in 21 milliseconds