fix mirror

@@ -18,12 +18,12 @@
 
 #ifndef GRUB_SEARCH_HEADER
 #define GRUB_SEARCH_HEADER 1
 
 void grub_search_fs_file (const char *key, const char *var, int no_floppy,
-                          char **hints, unsigned nhints);
+                          char **hints, unsigned nhints, int mirror);
 void grub_search_fs_uuid (const char *key, const char *var, int no_floppy,
-                          char **hints, unsigned nhints);
+                          char **hints, unsigned nhints, int mirror);
 void grub_search_label (const char *key, const char *var, int no_floppy,
-                        char **hints, unsigned nhints);
+                        char **hints, unsigned nhints, int mirror);
 
 #endif