Searched refs:l4cli_ticks_per_second (Results 1 – 3 of 3) sorted by relevance
871 u32_t l4cli_ticks_per_second; member
3051 { _OFFSET(l4cli_ticks_per_second), 1000, 1000, 1000, 500, 10000 }, in lm_init_params()
315 l4_params->ticks_per_second = def_params->l4cli_ticks_per_second; in _lm_get_default_l4cli_params()