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