ref: 23b7e2b0fbbdc4751a2334bcb742b43f9a4a5530
dir: /sys/src/boot/zynq/fns.h/
void putc(int); void puts(char *); int netboot(void); int mmcboot(void); void puthex(u32int); void memset(void *, char, int); void memcpy(void *, void *, int); void print(char *, ...); u32int u32get(void *); uchar* u32put(uchar *, u32int); void jump(void *); void sleep(int); void timeren(int); int timertrig(void); void flash(void);