Home
last modified time | relevance | path

Searched refs:booted_dev_name (Results 1 – 7 of 7) sorted by relevance

/netbsd/src/sys/arch/sbmips/stand/common/
Dbooted_dev.c43 char booted_dev_name[BOOTED_DEV_MAXNAMELEN]; variable
49 if (cfe_getenv("BOOT_DEVICE",booted_dev_name,sizeof(booted_dev_name)) != 0) { in booted_dev_open()
53 booted_dev_fd = cfe_open(booted_dev_name); in booted_dev_open()
Dboot.c101 booted_dev_name[0] ? booted_dev_name : "unknown"); in main()
Dcommon.h61 extern char booted_dev_name[BOOTED_DEV_MAXNAMELEN];
/netbsd/src/sys/arch/alpha/stand/common/
Dbooted_dev.c41 char booted_dev_name[BOOTED_DEV_MAXNAMELEN]; variable
56 devlen = prom_getenv(PROM_E_BOOTED_DEV, booted_dev_name, in booted_dev_open()
57 sizeof(booted_dev_name)); in booted_dev_open()
59 ret.bits = prom_open(booted_dev_name, devlen); in booted_dev_open()
Dboot.c100 booted_dev_name[0] ? booted_dev_name : "unknown"); in main()
Dcommon.h64 extern char booted_dev_name[BOOTED_DEV_MAXNAMELEN];
/netbsd/src/sys/arch/alpha/stand/netboot/
Dif_prom.c149 enet_addr = booted_dev_name; in prom_init()
198 printf("Boot device name was: \"%s\"\n", booted_dev_name); in prom_init()