/** * init_ladder - initializes the governor */ static int __init init_ladder(void) { /* * When NO_HZ is disabled, or when booting with nohz=off, the ladder * governor is better so give it a higher rating than the menu * governor. */ if (!tick_nohz_enabled) ladder_governor.rating = 25; return cpuidle_register_governor(&ladder_governor); }
/** * init_menu - initializes the governor */ static int __init init_menu(void) { return cpuidle_register_governor(&menu_governor); }
/** * init_ladder - initializes the governor */ static int __init init_ladder(void) { return cpuidle_register_governor(&ladder_governor); }
static int __init init_null(void) { return cpuidle_register_governor(&null_governor); }