Changeset View
Changeset View
Standalone View
Standalone View
sys/boot/efi/include/efilib.h
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 *); | int efi_handle_lookup(EFI_HANDLE, struct devsw **, int *, uint64_t *); | ||||
int efi_handle_update_dev(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); |