Changeset View
Changeset View
Standalone View
Standalone View
head/sys/boot/efi/include/efilib.h
| Show All 33 Lines | |||||
| extern EFI_BOOT_SERVICES *BS; | extern EFI_BOOT_SERVICES *BS; | ||||
| extern EFI_RUNTIME_SERVICES *RS; | extern EFI_RUNTIME_SERVICES *RS; | ||||
| extern struct devsw efipart_dev; | extern struct devsw efipart_dev; | ||||
| 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); | |||||
| 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 *); | ||||
| 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); | ||||
| void delay(int usecs); | void delay(int usecs); | ||||