MCCHIPREG_TIMER4_CNTR
pcc2_reg_write32(sys_pcctwo, MCCHIPREG_TIMER4_CNTR, 0);
pcc2_reg_write32(sc, MCCHIPREG_TIMER4_CNTR, 0);