efi_reset_type     24 drivers/firmware/efi/capsule.c static int efi_reset_type = -1;
efi_reset_type     56 drivers/firmware/efi/capsule.c 		*reset_type = efi_reset_type;
efi_reset_type    154 drivers/firmware/efi/capsule.c 	if (efi_reset_type >= 0 && efi_reset_type != reset) {
efi_reset_type    156 drivers/firmware/efi/capsule.c 		       reset, efi_reset_type);
efi_reset_type    176 drivers/firmware/efi/capsule.c 		efi_reset_type = reset;