armv8pmu_read_evcntr
u64 val = armv8pmu_read_evcntr(idx);
val = (val << 32) | armv8pmu_read_evcntr(idx - 1);