EFI_RESET_SYSTEM  747 arch/x86/platform/efi/quirks.c 	if (efi_rts_work.efi_rts_id == EFI_RESET_SYSTEM) {
EFI_RESET_SYSTEM  422 drivers/firmware/efi/runtime-wrappers.c 	efi_rts_work.efi_rts_id = EFI_RESET_SYSTEM;