Index: head/sys/boot/efi/include/efiapi.h
===================================================================
--- head/sys/boot/efi/include/efiapi.h
+++ head/sys/boot/efi/include/efiapi.h
@@ -532,6 +532,7 @@
 typedef
 EFI_STATUS
 (EFIAPI *EFI_RESERVED_SERVICE) (
+    VOID
     );
 
 typedef