sys/src/boot/zynq/fns.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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