pcc_reg_read16
tc1 = pcc_reg_read16(sys_pcc, PCCREG_TMR1_COUNT);
tc2 = pcc_reg_read16(sys_pcc, PCCREG_TMR1_COUNT);
tc = pcc_reg_read16(sys_pcc, PCCREG_TMR1_COUNT);
if (tc > pcc_reg_read16(sys_pcc, PCCREG_TMR1_COUNT))