Differential D4839 Diff 12070 sys/boot/efi/loader/devicename.c

Changeset View

Standalone View

	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