Searched refs:ia32_cpuid_model_info_t (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dprivate.h62 } ia32_cpuid_model_info_t; typedef in typeref:union:__anon428
315 ia32_cpuid_model_info_t model_info = { .raw = 0 };
H A Dsel4bench.h110 ia32_cpuid_model_info_t cpuid_model_info;
147 ia32_cpuid_model_info_t model_info;

Completed in 26 milliseconds