exec_hp300
void exec_hp300(char *, u_long, int);
exec_hp300(bootname, (u_long)lowram, howto);
exec_hp300(name, (u_long)lowram, howto);