Did you mean (for osnet-11): grub_gfxmenu_timeout_notify grub_gfxmenu_timeout_register grub_gfxmenu_timeout_unregister grub_gfxmenu_timeout_notifications
Your search defs:GRUB_HIDDEN_TIMEOUT_QUIET did not match any files.
Suggestions: