sys/src/boot/efi/fns.h

   1 enum {
   2         MAXPATH = 128,
   3 };
   4
   5 extern char hex[];
   6
   7 void usleep(int t);
   8 void jump(void *pc);
   9
  10 int pxeinit(void **pf);
  11 int isoinit(void **pf);
  12 int fsinit(void **pf);
  13
  14 void* (*open)(char *name);
  15 int (*read)(void *f, void *data, int len);
  16 void (*close)(void *f);
  17
  18 int readn(void *f, void *data, int len);
  19 void unload(void);
  20
  21 int getc(void);
  22 void putc(int c);
  23
  24 void memset(void *p, int v, int n);
  25 void memmove(void *dst, void *src, int n);
  26 int memcmp(void *src, void *dst, int n);
  27 int strlen(char *s);
  28 char *strchr(char *s, int c);
  29 char *strrchr(char *s, int c);
  30 void print(char *s);
  31
  32 char *configure(void *f, char *path);
  33 char *bootkern(void *f);
  34
  35 char *hexfmt(char *s, int i, uvlong a);
  36 char *decfmt(char *s, int i, ulong a);
  37
  38 uintptr eficall(void *proc, ...);
  39 void eficonfig(char **cfg);