Searched refs:l4_calibrate_tsc (Results 1 – 3 of 3) sorted by relevance
78 l4_calibrate_tsc (l4_kernel_info_t *kip);114 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() function
139 l4_calibrate_tsc (l4_kernel_info_t *kip);183 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() function
137 l4_calibrate_tsc (l4_kernel_info_t *kip);181 l4_calibrate_tsc (l4_kernel_info_t *kip) in l4_calibrate_tsc() function
Completed in 5 milliseconds