Symbol: grub_menu_fini
usr/src/lib/libgrubmgmt/common/libgrub_bargs.c
207
grub_menu_fini(mp);
usr/src/lib/libgrubmgmt/common/libgrub_impl.h
237
void grub_menu_fini(grub_menu_t *);
usr/src/lib/libgrubmgmt/common/libgrub_menu.c
426
grub_menu_fini(mp);