diff --git a/ChangeLog b/ChangeLog
index fbe3643b8..a972b9959 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -3,6 +3,11 @@
 	* docs/grub.texi (Networking commands): Add documentation for
 	network related commands.
 
+2013-09-18  Colin Watson  <cjwatson@ubuntu.com>
+
+	* grub-core/disk/efi/efidisk.c (grub_efidisk_get_device_name_iter):
+	Remove no-longer-true __attribute__ ((unused)) on disk parameter.
+
 2013-09-18  Douglas Ray <dougray@cpan.org>
 
 	* util/grub-mkpasswd-pbkdf2.c (grub_get_random): Declare OpenBSD PRNG
diff --git a/grub-core/disk/efi/efidisk.c b/grub-core/disk/efi/efidisk.c
index ebd906e7c..00b25071e 100644
--- a/grub-core/disk/efi/efidisk.c
+++ b/grub-core/disk/efi/efidisk.c
@@ -766,7 +766,7 @@ struct grub_efidisk_get_device_name_ctx
 /* Helper for grub_efidisk_get_device_name.
    Find the identical partition.  */
 static int
-grub_efidisk_get_device_name_iter (grub_disk_t disk __attribute__ ((unused)),
+grub_efidisk_get_device_name_iter (grub_disk_t disk,
 				   const grub_partition_t part, void *data)
 {
   struct grub_efidisk_get_device_name_ctx *ctx = data;