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

/seL4-test-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h108 if (cpuid_eax < IA32_CPUID_LEAF_PMC) { //basic CPUID invocation tells us whether the processor supports arch PMCs
140 if (max_basic_leaf >= IA32_CPUID_LEAF_PMC) { //Core Solo or later supports PMC discovery via CPUID...
144 sel4bench_private_cpuid(IA32_CPUID_LEAF_PMC, 0, &pmc_eax.raw, &dummy, &dummy, &dummy);
219 if (!(max_basic_leaf >= IA32_CPUID_LEAF_PMC)) {
272 if (!(max_basic_leaf >= IA32_CPUID_LEAF_PMC)) {
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.h37 IA32_CPUID_LEAF_PMC = 0xA, enumerator in enum:__anon427

Completed in 71 milliseconds