Searched refs:efi_signal_event (Results 1 – 4 of 4) sorted by relevance
205 void efi_signal_event(struct efi_event *event, bool check_tpl) in efi_signal_event() function702 efi_signal_event(evt, true); in efi_timer_check()843 efi_signal_event(event, true); in efi_signal_event_ext()1404 efi_signal_event(evt, false); in efi_install_configuration_table()1826 efi_signal_event(evt, false); in efi_exit_boot_services()
101 efi_signal_event(evt, false); in efi_reset_system_boottime()
569 efi_signal_event(efi_con_in.wait_for_key, true); in efi_console_timer_notify()
288 void efi_signal_event(struct efi_event *event, bool check_tpl);