efi_getenv
status = efi_getenv(&ImageSecurityDatabaseGUID, name, database, &db_size);
status = efi_getenv(&ImageSecurityDatabaseGUID, name, database, &db_size);
status = efi_getenv(&ImageSecurityDatabaseGUID, "dbx", database, &db_size);
status = efi_getenv(&ImageSecurityDatabaseGUID, "dbx", database, &db_size);
EFI_STATUS efi_getenv(EFI_GUID *g, const char *v, void *data, __size_t *len);
return (efi_getenv(&GlobalBootVarGUID, v, data, len));
return (efi_getenv(&FreeBSDBootVarGUID, v, data, len));