Changeset View
Changeset View
Standalone View
Standalone View
sys/boot/efi/include/efilib.h
Show First 20 Lines • Show All 58 Lines • ▼ Show 20 Lines | typedef struct pdinfo | ||||
int pd_open; /* reference counter */ | int pd_open; /* reference counter */ | ||||
void *pd_bcache; /* buffer cache data */ | void *pd_bcache; /* buffer cache data */ | ||||
} pdinfo_t; | } pdinfo_t; | ||||
pdinfo_list_t *efiblk_get_pdinfo_list(struct devsw *dev); | pdinfo_list_t *efiblk_get_pdinfo_list(struct devsw *dev); | ||||
void *efi_get_table(EFI_GUID *tbl); | void *efi_get_table(EFI_GUID *tbl); | ||||
int efi_getdev(void **vdev, const char *devspec, const char **path); | |||||
char *efi_fmtdev(void *vdev); | |||||
int efi_setcurrdev(struct env_var *ev, int flags, const void *value); | |||||
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 *, uint64_t *); | 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_handle_update_dev(EFI_HANDLE, struct devsw *, int, uint64_t); | ||||
EFI_DEVICE_PATH *efi_lookup_image_devpath(EFI_HANDLE); | EFI_DEVICE_PATH *efi_lookup_image_devpath(EFI_HANDLE); | ||||
EFI_DEVICE_PATH *efi_lookup_devpath(EFI_HANDLE); | EFI_DEVICE_PATH *efi_lookup_devpath(EFI_HANDLE); | ||||
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 |