1 void putc(int); 2 void puts(char *); 3 int netboot(void); 4 int mmcboot(void); 5 void puthex(u32int); 6 void memset(void *, char, int); 7 void memcpy(void *, void *, int); 8 void print(char *, ...); 9 u32int u32get(void *); 10 uchar* u32put(uchar *, u32int); 11 void jump(void *); 12 void sleep(int); 13 void timeren(int); 14 int timertrig(void); 15 void flash(void); 16