arm64_write_pmc
arm64_write_pmc(cpu, ri, pm, pm->pm_sc.pm_reloadcount);
pcd->pcd_write_pmc = arm64_write_pmc;