Searched defs:frequency (Results 1 – 5 of 5) sorted by relevance
45 const uint32_t frequency; member
109 static int get_frequency(fwk_id_t dev_id, uint32_t *frequency) in get_frequency()231 uint32_t frequency = read_cntfrq_el0(); in mod_arch_timer_timestamp() local
151 static int get_frequency(fwk_id_t dev_id, uint32_t *frequency) in get_frequency()316 uint32_t frequency = cfg->frequency; in mod_gtimer_timestamp() local
35 uint32_t frequency; /*!< Clock rate in Hertz (Hz) */ member
84 uint32_t frequency; in _time_to_timestamp() local210 static int get_frequency(fwk_id_t dev_id, uint32_t *frequency) in get_frequency()
Completed in 13 milliseconds