Symbol: menu_free
usr/src/cmd/boot/bootadm/bootadm.c
1566
menu_free(menu);
usr/src/cmd/boot/bootadm/bootadm.c
270
static void menu_free(menu_t *);
usr/src/cmd/boot/bootadm/bootadm_loader.c
616
menu_free(&menu);