#include "../port64/portfns.h"

void	arginit(void);
int	busprobe(ulong);
uintptr	cankaddr(uintptr);
void	cleancache(void);
void	clearmmucache(void);
void	clock(Ureg*);
void	clockinit(void);
void	clockshutdown(void);
int	cmpswap(long*, long, long);
void	coherence(void);
void	cycles(uvlong *);
void	dcflush(void*, ulong);
void	dcinvalid(void*, ulong);
void	dumptlb(void);
void	faultmips(Ureg*, int, int);
void*	fbinit(void);
ulong	fcr31(void);
void	firmware(int);
void	fpclear(void);
void	fpsave(FPsave *);
void	fptrap(Ureg*);
void	fpwatch(Ureg *);
ulong	getcause(void);
char*	getconf(char*);
ulong	getconfig(void);
ulong	getpagemask(void);
ulong	getstatus(void);
int	gettlbp(u64int, u64int*);
u64int	gettlbvirt(int);
void	gettlbx(int, Softtlb*);
void	gotopc(ulong);
void	hinv(void);
int	i8042auxcmd(int);
int	i8042auxcmds(uchar*, int);
void	i8042auxenable(void (*)(int, int));
void	i8042reset(void);
int	i8250console(void);
int	i8259disable(int);
int	i8259enable(int);
void	i8259init(void);
int	i8259intack(void);
int	i8259isr(int);
void	icflush(void *, ulong);
void	idle(void);
#define	idlehands()		/* no wait instruction, do nothing */
#define	inb(r)		(*(uchar*)(IOBASE+(r)))
void	insb(int, void*, int);
#define	ins(r)		(*(ushort*)(IOBASE+(r)))
void	inss(int, void*, int);
#define	inl(r)		(*(ulong*)(IOBASE+(r)))
void	insl(int, void*, int);
void	intrenable(int, void(*)(Ureg*, void *), void *, int);
void	introff(int);
void	intron(int);
void	intrshutdown(void);
void	ioinit(void);
int	isaconfig(char*, int, ISAConf*);
void	kbdinit(void);
void	kfault(Ureg*);
KMap*	kmap(Page*);
void	kmapinit(void);
void	kmapinval(void);
void	kunmap(KMap*);
void	launchinit(void);
void	launch(int);
void	links(void);
ulong	machstatus(void);
void	newstart(void);
int	newtlbpid(Proc*);
void	online(void);
#define	outb(r, v)	(*(uchar*)(IOBASE+(r)) = v)
void	outsb(int, void*, int);
#define	outs(r, v)	(*(ushort*)(IOBASE+(r)) = v)
void	outss(int, void*, int);
#define	outl(r, v)	(*(ulong*)(IOBASE+(r)) = v)
void	outsl(int, void*, int);
ulong	pcibarsize(Pcidev*, int);
void	pcibussize(Pcidev*, ulong*, ulong*);
int	pcicfgr8(Pcidev*, int);
int	pcicfgr16(Pcidev*, int);
int	pcicfgr32(Pcidev*, int);
void	pcicfgw8(Pcidev*, int, int);
void	pcicfgw16(Pcidev*, int, int);
void	pcicfgw32(Pcidev*, int, int);
void	pciclrbme(Pcidev*);
void	pciclrioe(Pcidev*);
void	pciclrmwi(Pcidev*);
int	pcigetpms(Pcidev*);
void	pcihinv(Pcidev*);
uchar	pciipin(Pcidev*, uchar);
Pcidev* pcimatch(Pcidev*, int, int);
Pcidev* pcimatchtbdf(int);
void	pcireset(void);
int	pciscan(int, Pcidev**);
void	pcisetbme(Pcidev*);
void	pcisetioe(Pcidev*);
void	pcisetmwi(Pcidev*);
int	pcisetpms(Pcidev*, int);
int	pcisubirq(int);
ulong	prid(void);
void	procrestore(Proc *);
void	procsave(Proc *);
#define	procsetup(p)	((p)->fpstate = FPinit)
void	purgetlb(int);
Softtlb*	putstlb(u64int, u64int);
int	puttlb(u64int, u64int, u64int);
void	puttlbx(int, u64int, u64int, u64int, int);
ulong	rdcompare(void);
ulong	rdcount(void);
ulong*	reg(Ureg*, int);
void	restfpregs(FPsave*, ulong);
void	screeninit(void);
void	setleveldest(int, int, uvlong*);
void	setpagemask(ulong);
void	setsp(ulong);
void	setstatus(ulong);
void	setwatchhi0(ulong);
void	setwatchlo0(ulong);
void	setwired(ulong);
ulong	stlbhash(ulong);
void	swcursorinit(void);
void	syncclock(void);
uintptr	syscall(Ureg*);
void	syscallfmt(int syscallno, uintptr pc, va_list list);
void	sysretfmt(int syscallno, va_list list, uintptr ret, uvlong start, uvlong stop);
int	tas(ulong*);
void	tlbinit(void);
u64int	tlbvirt(void);
void	touser(uintptr);
void	unleash(void);
#define	userureg(ur) ((ur)->status & KUSER)
void	validalign(uintptr, unsigned);
void	vecinit(void);
void	vector0(void);
void	vector100(void);
void	vector180(void);
void	wrcompare(ulong);
void	wrcount(ulong);
ulong	wiredpte(vlong);
void	machwire(void);
void	_uartputs(char*, int);
int	_uartprint(char*, ...);

#define PTR2UINT(p)	((uintptr)(p))
#define UINT2PTR(i)	((void*)(i))

#define	waserror()	(up->nerrlab++, setlabel(&up->errlab[up->nerrlab-1]))

#define KADDR(a)	((void*)((uintptr)(a)|KSEG0))
#define PADDR(a)	((uintptr)(a)&~KSEGM)

#define KSEG0ADDR(a)	((void*)(((ulong)(a)&~KSEGM)|KSEG0))
#define KSEG1ADDR(a)	((void*)((ulong)(a)|KSEG1))

#define sdmalloc(n)		mallocalign(n, CACHELINESZ, 0, 0)
#define sdfree(p)		free(p)

int pmonprint(char*, ...);