efi_capsule_pending  613 arch/x86/kernel/reboot.c 	if (efi_capsule_pending(NULL)) {
efi_capsule_pending   37 drivers/firmware/efi/reboot.c 	if (efi_capsule_pending(&cap_reset_mode)) {
efi_capsule_pending 1533 include/linux/efi.h extern bool efi_capsule_pending(int *reset_type);