Searched refs:OPTIMIZED_KERNEL_ENABLE (Results 1 – 2 of 2) sorted by relevance
659 OPTIMIZED_KERNEL_ENABLE = false, enumerator
232 user_options->optimized_kernel_enable = OPTIMIZED_KERNEL_ENABLE; in user_options_init()