Searched refs:timers_enabled (Results 1 – 1 of 1) sorted by relevance
36 static bool timers_enabled = true; variable781 if (!timers_enabled) in efi_timer_check()1961 timers_enabled = false; in efi_exit_boot_services()