Searched defs:L4_TSC_INIT_KERNEL (Results 1 – 3 of 3) sorted by relevance
42 #define L4_TSC_INIT_KERNEL 1 ///< Initialized by kernel macro
40 #define L4_TSC_INIT_KERNEL 1 ///< Initialized by kernel macro
Completed in 4 milliseconds