devsplit
kernel = devsplit(argv[1], bootname);
(void) devsplit(argv[0], bootname);
static char *devsplit(char *, char *);