Searched refs:efi_queue_event (Results 1 – 1 of 1) sorted by relevance
180 static void efi_queue_event(struct efi_event *event, bool check_tpl) in efi_queue_event() function228 efi_queue_event(evt, check_tpl); in efi_signal_event()233 efi_queue_event(event, check_tpl); in efi_signal_event()688 efi_queue_event(evt, true); in efi_timer_check()800 efi_queue_event(event[i], true); in efi_wait_for_event()888 efi_queue_event(event, true); in efi_check_event()