exec_netbsd
static int exec_netbsd(const char *);
exec_netbsd(names[curname]);
if (exec_netbsd(filename, 0, howto, boot_biosdev < 0x80, clearit) < 0)
if (exec_netbsd(filename, 0, howto, floppy, NULL) < 0)
if (exec_netbsd(filename, efi_loadaddr, howto, 0, efi_cleanup) < 0)
int exec_netbsd(const char *, physaddr_t, int, int, void (*)(void));
if (exec_netbsd(filename, 0, howto, 0, alldone) < 0)
if (exec_netbsd(filename, howto) < 0) {
int exec_netbsd(const char *file, int howto);
if (exec_netbsd(filename, howto) < 0) {
static int exec_netbsd(const char *file, int howto);
exec_netbsd(kernel, bootargs);
exec_netbsd(netbsd_path, netbsd_args);
int exec_netbsd(const char *, const char *);