mbedmicro/mbed — pull request #133 by xiongyihui (2013-12-19 04:43:03+00:00)
Title: fix 16bit timer pwm output

for 16bit timer, set prescale counter to avoid overflow