Changeset View

Standalone View

	Show All 37 Lines
	extern struct devsw efinet_dev;			extern struct devsw efinet_dev;
	extern struct netif_driver efinetif;			extern struct netif_driver efinetif;

	void efi_get_table(EFI_GUID tbl);			void efi_get_table(EFI_GUID tbl);
	void efi_main(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table);			void efi_main(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table);

	int efi_register_handles(struct devsw , EFI_HANDLE , EFI_HANDLE *, int);			int efi_register_handles(struct devsw , EFI_HANDLE , EFI_HANDLE *, int);
	EFI_HANDLE efi_find_handle(struct devsw *, int);			EFI_HANDLE efi_find_handle(struct devsw *, int);
	int efi_handle_lookup(EFI_HANDLE, struct devsw *, int );			void efi_handle_update_dev(EFI_HANDLE, struct devsw *, int, uint64_t);
				int efi_handle_lookup(EFI_HANDLE, struct devsw *, int , uint64_t *);

	int efi_status_to_errno(EFI_STATUS);			int efi_status_to_errno(EFI_STATUS);
	time_t efi_time(EFI_TIME *);			time_t efi_time(EFI_TIME *);

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