C6205_BAR0_TIMER1_CTL
boot_loader_write_mem32(pao, 0, C6205_BAR0_TIMER1_CTL, 0);
(C6205_BAR0_TIMER1_CTL)) & ~8))
boot_loader_write_mem32(pao, 0, C6205_BAR0_TIMER1_CTL, 4);
(C6205_BAR0_TIMER1_CTL)) & ~8))
boot_loader_write_mem32(pao, 0, C6205_BAR0_TIMER1_CTL, 0);