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);