diff --git a/stage23/drivers/disk.h b/stage23/drivers/disk.h
index 4eb5bfd6..386194af 100644
--- a/stage23/drivers/disk.h
+++ b/stage23/drivers/disk.h
@@ -10,7 +10,7 @@
 
 #include <efi.h>
 
-struct volume *disk_volume_from_efi_handle(EFI_HANDLE *efi_handle);
+struct volume *disk_volume_from_efi_handle(EFI_HANDLE efi_handle);
 
 #endif
 
diff --git a/stage23/drivers/disk.s2.c b/stage23/drivers/disk.s2.c
index bd53a30f..e8e22529 100644
--- a/stage23/drivers/disk.s2.c
+++ b/stage23/drivers/disk.s2.c
@@ -205,7 +205,7 @@ void disk_create_index(void) {
 
 #if uefi == 1
 
-struct volume *disk_volume_from_efi_handle(EFI_HANDLE *efi_handle) {
+struct volume *disk_volume_from_efi_handle(EFI_HANDLE efi_handle) {
     EFI_STATUS status;
 
     struct volume *ret = NULL;