EFIABI_ATTR
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(void))
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(register_t))
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(register_t,
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(register_t,
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(register_t,
ec->ec_efi_status = ((register_t EFIABI_ATTR (*)(register_t,
#ifdef EFIABI_ATTR
EFIABI_ATTR;
efi_status (*rt_settime)(struct efi_tm *) EFIABI_ATTR;
struct efi_tm *) EFIABI_ATTR;
EFIABI_ATTR;
struct efi_md *) EFIABI_ATTR;
efi_status (*rt_cvtptr)(u_long, void **) EFIABI_ATTR;
u_long *, void *) EFIABI_ATTR;
EFIABI_ATTR;
u_long, void *) EFIABI_ATTR;
efi_status (*rt_gethicnt)(uint32_t *) EFIABI_ATTR;
efi_char *) EFIABI_ATTR;