ref: 4566322f2ea6a6152e670b91a7698bc5d5c9f53c
dir: /sys/src/boot/efi/fns.h/
enum {
MAXPATH = 128,
};
extern char hex[];
void usleep(int t);
void jump(void *pc);
int pxeinit(void **pf);
int isoinit(void **pf);
int fsinit(void **pf);
void* (*open)(char *name);
int (*read)(void *f, void *data, int len);
void (*close)(void *f);
int readn(void *f, void *data, int len);
void unload(void);
int getc(void);
void putc(int c);
void memset(void *p, int v, int n);
void memmove(void *dst, void *src, int n);
int memcmp(void *src, void *dst, int n);
int strlen(char *s);
char *strchr(char *s, int c);
char *strrchr(char *s, int c);
void print(char *s);
char *configure(void *f, char *path);
char *bootkern(void *f);
char *hexfmt(char *s, int i, uvlong a);
char *decfmt(char *s, int i, ulong a);
uintptr eficall(void *proc, ...);
void eficonfig(char **cfg);