EFI_RESET_SHUTDOWN   56 drivers/firmware/efi/reboot.c 	efi.reset_system(EFI_RESET_SHUTDOWN, EFI_SUCCESS, 0, NULL);
EFI_RESET_SHUTDOWN  266 drivers/xen/efi.c 	case EFI_RESET_SHUTDOWN: