XEN_MENU
grubroot, XEN_MENU, bam_zfs ?
if (strstr(*path, XEN_MENU) != NULL) {
len = strlen(osroot) + strlen(XEN_MENU) + strlen(kern_bargs) +
XEN_MENU, kern_bargs);
(void) snprintf(kernel, len, "%s%s", osroot, XEN_MENU);
(void) add_boot_entry(mp, NEW_HV_ENTRY, grubsign, XEN_MENU,