Timer Register Counter is uint32 but timer_get_count(timer_dev *dev) is a uint16

(14 posts) (6 voices)