uintn
uintn *, efi_handle *);
void *, uintn, efi_handle *);
efi_status (*bs_startimage)(efi_handle, uintn *, efi_char **);
efi_status (*bs_exit)(efi_handle, efi_status, uintn, efi_char *);
efi_status (*bs_exitbootservices)(efi_handle, uintn);
efi_status (*bs_stall)(uintn);
efi_status (*bs_setwatchdogtimer)(uintn, uint64_t,
uintn, efi_char *);
struct uuid ***, uintn *);
void *, uintn *, efi_handle **);
efi_status (*bs_calculatecrc32)(void *, uintn, uint32_t *);
efi_status (*bs_copymem)(void *, void *, uintn);
efi_status (*bs_setmem)(void *, uintn, uint8_t);
uintn, uintn *, uintn *);
efi_status (*ei_textsetmode)(struct efi_output *, uintn);
efi_status (*ei_setattribute)(struct efi_output *, uintn);
uintn, uintn);
typedef uintn efi_tpl;
uintn, paddr_t *);
efi_status (*bs_freepages)(paddr_t, uintn);
efi_status (*bs_getmemorymap)(uintn *, struct efi_md *,
uintn *, uintn *, uint32_t *);
efi_status (*bs_allocatepool)(uint32_t, uintn, void **);
efi_status (*bs_waitforevent)(uintn, efi_event *, uintn *);
uintn bufsize, key, size;