Changeset View
Changeset View
Standalone View
Standalone View
head/sys/boot/efi/loader/devicename.c
Show All 25 Lines | |||||
*/ | */ | ||||
#include <sys/cdefs.h> | #include <sys/cdefs.h> | ||||
__FBSDID("$FreeBSD$"); | __FBSDID("$FreeBSD$"); | ||||
#include <stand.h> | #include <stand.h> | ||||
#include <string.h> | #include <string.h> | ||||
#include <sys/disklabel.h> | #include <sys/disklabel.h> | ||||
#include "bootstrap.h" | #include <bootstrap.h> | ||||
#include <efi.h> | #include <efi.h> | ||||
#include <efilib.h> | #include <efilib.h> | ||||
#include "loader_efi.h" | |||||
static int efi_parsedev(struct devdesc **, const char *, const char **); | static int efi_parsedev(struct devdesc **, const char *, const char **); | ||||
/* | /* | ||||
* Point (dev) at an allocated device specifier for the device matching the | * Point (dev) at an allocated device specifier for the device matching the | ||||
* path in (devspec). If it contains an explicit device specification, | * path in (devspec). If it contains an explicit device specification, | ||||
* use that. If not, use the default device. | * use that. If not, use the default device. | ||||
*/ | */ | ||||
▲ Show 20 Lines • Show All 124 Lines • Show Last 20 Lines |