PCC2REG_TIMER1_COUNTER
bus_space_write_4(bt, bh, PCC2REG_TIMER1_COUNTER, 0);
if (bus_space_read_4(bt, bh, PCC2REG_TIMER1_COUNTER) > 10000)
pcc2_reg_write32(sys_pcctwo, PCC2REG_TIMER1_COUNTER, 0);
tc1 = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
tc2 = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
tc = pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER);
if (tc > pcc2_reg_read32(sys_pcctwo, PCC2REG_TIMER1_COUNTER))