Ага, понял, а частота ШИМ будет зависеть от переполнения либо обнуления pwm_time.
Тогда осталось не понятно, в формуле
tcnt2 = 256 - (16000000/31000/X)
что означает параметр X?