Did you mean (for osnet-11): grub_gfxmenu_timeout_notify   grub_gfxmenu_timeout_notifications   grub_gfxmenu_timeout_register   grub_gfxmenu_timeout_unregister  

Your search defs:GRUB_HIDDEN_TIMEOUT_BUTTON did not match any files.
Suggestions: