Searched defs:l4_tsc_init (Results 1 – 2 of 2) sorted by relevance
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 6 milliseconds