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

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h102 sel4bench_private_cpuid(IA32_CPUID_LEAF_BASIC, 0, &cpuid_eax, &cpuid_ebx, &cpuid_ecx, &cpuid_edx);
111 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &(cpuid_model_info.raw), &cpuid_ebx, &cpuid_ecx, &cpuid_edx);
139 sel4bench_private_cpuid(IA32_CPUID_LEAF_BASIC, 0, &max_basic_leaf, &dummy, &dummy, &dummy);
144 sel4bench_private_cpuid(IA32_CPUID_LEAF_PMC, 0, &pmc_eax.raw, &dummy, &dummy, &dummy);
149 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);
217 sel4bench_private_cpuid(IA32_CPUID_LEAF_BASIC, 0, &max_basic_leaf, &dummy, &dummy, &dummy);
270 sel4bench_private_cpuid(IA32_CPUID_LEAF_BASIC, 0, &max_basic_leaf, &dummy, &dummy, &dummy);
185 assert(counter < sel4bench_get_num_counters()); ia32_pmc_perfevtsel_t evtsel_msr; evtsel_msr.raw = sel4bench_x86_rdmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter); uint32_t res_flag = evtsel_msr.res; evtsel_msr.raw = sel4bench_private_lookup_event(event); evtsel_msr.USR = 1; evtsel_msr.OS = 1; evtsel_msr.res = res_flag; sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTSEL_BASE + counter, evtsel_msr.raw); } static FASTFN void sel4bench_start_counters(counter_bitfield_t mask) { uint32_t dummy; seL4_Word num_counters = sel4bench_get_num_counters(); if (mask == ~(0UL)) { mask = ((BIT(num_counters)) - 1); } else { assert((~((BIT(num_counters)) - 1) & mask) == 0); } uint32_t max_basic_leaf = 0; sel4bench_private_cpuid(IA32_CPUID_LEAF_BASIC, 0, &max_basic_leaf, &dummy, &dummy, &dummy); if (!(max_basic_leaf >= IA32_CPUID_LEAF_PMC) argument
H A Dprivate.h104 static FASTFN void sel4bench_private_cpuid(uint32_t leaf, uint32_t subleaf, uint32_t * eax, uint32_t * ebx, uint32_t * ecx, uint32_t * edx) function
316 sel4bench_private_cpuid(IA32_CPUID_LEAF_MODEL, 0, &model_info.raw, &dummy, &dummy, &dummy);

Completed in 28 milliseconds