Searched refs:l4_tsc_init (Results 1 – 5 of 5) sorted by relevance
106 l4_tsc_init (int constraint, l4_kernel_info_t *kip);116 return l4_tsc_init(0, kip); in l4_calibrate_tsc()
167 l4_tsc_init (int constraint, l4_kernel_info_t *kip);185 return l4_tsc_init(L4_TSC_INIT_AUTO, kip); in l4_calibrate_tsc()
165 l4_tsc_init (int constraint, l4_kernel_info_t *kip);183 return l4_tsc_init(L4_TSC_INIT_AUTO, kip); in l4_calibrate_tsc()
15 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init() function
41 l4_tsc_init (int constraint, l4_kernel_info_t *kip) in l4_tsc_init() function
Completed in 4 milliseconds