machdep_start
machdep_start((char *)marks[MARK_ENTRY], howto,
machdep_start((char *)marks[MARK_ENTRY],
machdep_start((char *)marks[MARK_ENTRY],
void machdep_start(char *, int, char *, char *, char *);