AM18XX_TIMER1_PRD12
bus_space_write_4(bst, bsh, AM18XX_TIMER1_PRD12, 0xFFFFFFFF);
bus_space_write_4(bst, bsh, AM18XX_TIMER1_PRD12, 0);