Symbol: GRUB_ENTRY_DEFAULT
usr/src/lib/libgrubmgmt/common/libgrub_menu.c
521
if (num == GRUB_ENTRY_DEFAULT) {
usr/src/lib/libgrubmgmt/common/libgrub_menu.c
58
lp->gl_entry_num = GRUB_ENTRY_DEFAULT;