Lines Matching defs:kern_bargs
770 char *kern_bargs = NULL;
890 kern_bargs = s_strdup(console_dev);
893 newstr = append_str(kern_bargs, serial_config[0], " ");
894 free(kern_bargs);
895 kern_bargs = newstr;
899 newstr = append_str(kern_bargs, serial_config[1], " ");
900 free(kern_bargs);
901 kern_bargs = newstr;
906 newstr = append_str(kern_bargs, extra_args, " ");
907 free(kern_bargs);
908 kern_bargs = newstr;
911 len = strlen(osroot) + strlen(XEN_MENU) + strlen(kern_bargs) +
916 if (kern_bargs != NULL) {
917 if (*kern_bargs != NULL)
919 XEN_MENU, kern_bargs);
921 free(kern_bargs);