Searched refs:IA32_CPUID_LEAF_MODEL (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
H A D | private.h | 36 IA32_CPUID_LEAF_MODEL = 1, enumerator in enum:__anon540 316 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
|
H A D | sel4bench.h | 111 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &(cpuid_model_info.raw), &cpuid_ebx, &cpuid_ecx, &cpuid_edx); 149 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
|
Completed in 29 milliseconds