ref: 70f700699ac06fb33267395c60f62b4fae3f4f15
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);