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

/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/
H A Dsel4bench.h249 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTCNT_BASE + counter, 0);
313 sel4bench_x86_wrmsr(IA32_MSR_PMC_PERFEVTCNT_BASE + i, 0);
H A Dprivate.h80 #define IA32_MSR_PMC_PERFEVTCNT_BASE 0x0C1 macro

Completed in 27 milliseconds