Type Definition hts_sys::timer_t

type timer_t = __timer_t;