BE_GRUB_MENU
(void) strlcat(menu, BE_GRUB_MENU, sizeof (menu));
pool_mntpnt, BE_GRUB_MENU);
pool_mntpnt, BE_GRUB_MENU);
"%s%s", pool_mntpnt, BE_GRUB_MENU);
rpool_mntpnt, BE_GRUB_MENU);
"%s%s", pool_mntpnt, BE_GRUB_MENU);