Searched refs:timers_enabled (Results 1 – 1 of 1) sorted by relevance
40 static bool timers_enabled = true; variable808 if (!timers_enabled) in efi_timer_check()2139 timers_enabled = false; in efi_exit_boot_services()
Completed in 8 milliseconds