Changeset View

Standalone View

	Show First 20 Lines • Show All 73 Lines • ▼ Show 20 Lines
	EFI_HANDLE efi_devpath_handle(EFI_DEVICE_PATH *);			EFI_HANDLE efi_devpath_handle(EFI_DEVICE_PATH *);
	EFI_DEVICE_PATH efi_devpath_last_node(EFI_DEVICE_PATH );			EFI_DEVICE_PATH efi_devpath_last_node(EFI_DEVICE_PATH );
	EFI_DEVICE_PATH efi_devpath_trim(EFI_DEVICE_PATH );			EFI_DEVICE_PATH efi_devpath_trim(EFI_DEVICE_PATH );
	int efi_devpath_match(EFI_DEVICE_PATH , EFI_DEVICE_PATH );			int efi_devpath_match(EFI_DEVICE_PATH , EFI_DEVICE_PATH );
	CHAR16 efi_devpath_name(EFI_DEVICE_PATH );			CHAR16 efi_devpath_name(EFI_DEVICE_PATH );
	void efi_free_devpath_name(CHAR16 *);			void efi_free_devpath_name(CHAR16 *);

	int efi_status_to_errno(EFI_STATUS);			int efi_status_to_errno(EFI_STATUS);
				EFI_STATUS errno_to_efi_status(int errno);

	void efi_time_init(void);			void efi_time_init(void);
	void efi_time_fini(void);			void efi_time_fini(void);

	EFI_STATUS main(int argc, CHAR16 *argv[]);			EFI_STATUS main(int argc, CHAR16 *argv[]);
	void exit(EFI_STATUS status);			void exit(EFI_STATUS status);
	void delay(int usecs);			void delay(int usecs);

	Show All 9 Lines