| /src/sys/stand/efiboot/ |
| boot.c | 83 static char default_device[32]; variable in typeref:typename:char[32]
159 * Fallback to default_device
165 snprintf(pathbuf, pathbuflen, "%s:%s", default_device,
231 if (strlen(default_device) > 0) {
233 printf("default: %s\n", default_device);
479 if (strlen(arg) + 1 > sizeof(default_device))
481 strcpy(default_device, arg);
488 return default_device;
|
| efiblock.c | 69 char pathbuf[PATH_MAX], *default_device, *ep = NULL; local in function:efi_block_parse
74 default_device = get_default_device();
76 if (strlen(default_device) > 0) {
77 snprintf(pathbuf, sizeof(pathbuf), "%s:%s", default_device, fname);
|
| efinet.c | 515 char **file, pathbuf[PATH_MAX], *default_device, *path, *ep; local in function:efi_net_open
527 default_device = get_default_device();
529 if (strlen(default_device) > 0) {
530 snprintf(pathbuf, sizeof(pathbuf), "%s:%s", default_device, fname);
|
