1diff --git a/efi/main.c b/efi/main.c
2index 6a748412..a914e31a 100644
3--- a/efi/main.c
4+++ b/efi/main.c
5@@ -187,7 +187,7 @@ __export void local_boot(uint16_t ax)
6 * Inform the firmware that we failed to execute correctly, which
7 * will trigger the next entry in the EFI Boot Manager list.
8 */
9- longjmp(&load_error_buf, 1);
10+ longjmp(load_error_buf, 1);
11 }
12
13 void bios_timer_cleanup(void)
14@@ -1385,7 +1385,7 @@ EFI_STATUS efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *table)
15 status = uefi_call_wrapper(in->ReadKeyStroke, 2, in, &key);
16 } while (status == EFI_SUCCESS);
17
18- if (!setjmp(&load_error_buf))
19+ if (!setjmp(load_error_buf))
20 load_env32(NULL);
21
22 /* load_env32() failed.. cancel timer and bailout */