Searched refs:efi_queue_event (Results 1 – 1 of 1) sorted by relevance
170 static void efi_queue_event(struct efi_event *event, bool check_tpl) in efi_queue_event() function236 efi_queue_event(evt, check_tpl); in efi_signal_event()241 efi_queue_event(event, check_tpl); in efi_signal_event()712 efi_queue_event(evt, true); in efi_timer_check()828 efi_queue_event(event[i], true); in efi_wait_for_event()919 efi_queue_event(event, true); in efi_check_event()