Searched refs:grub_menu_fini (Results 1 – 3 of 3) sorted by relevance
207 grub_menu_fini(mp); in grub_get_boot_args()
426 grub_menu_fini(mp); in grub_menu_init()434 grub_menu_fini(grub_menu_t *mp) in grub_menu_fini() function
237 void grub_menu_fini(grub_menu_t *);