__guest_test_arch_event
__guest_test_arch_event(idx, i, base_pmc_msr + i,
__guest_test_arch_event(idx, i | INTEL_RDPMC_FIXED,