1 #include "../port/portfns.h"
4 int cmpswap(long *, long, long);
5 void evenaddr(uintptr);
8 uintptr cankaddr(uintptr);
10 void procrestore(Proc *);
14 void procfork(Proc *);
15 void procsetup(Proc *);
19 #define waserror() (up->nerrlab++, setlabel(&up->errlab[up->nerrlab-1]))
20 #define getpgcolor(a) 0
22 #define KADDR(a) kaddr(a)
23 #define PADDR(a) paddr((void*)(a))
24 #define userureg(ur) (((ur)->psr & PsrMask) == PsrMusr)
25 #define VA(k) ((void*)(k))
26 #define PTR2UINT(p) ((uintptr)(p))
32 void cycles(uvlong *);
36 uintptr getifar(void);
37 uintptr getdfar(void);
39 void* vmap(uintptr, ulong);
41 void synccycles(void);
43 void setpmcnten(ulong);
44 void* tmpmap(uintptr);
50 void noted(Ureg *, ulong);
51 void l1switch(L1 *, int);
52 void intrenable(int, void (*)(Ureg *, void *), void *, int, char *);
55 int uartconsole(void);
56 long fbctlread(Chan*,void*,long,vlong);
57 long fbctlwrite(Chan*,void*,long,vlong);
59 void fpsave(FPsave *);
60 void fprestore(FPsave *);
63 char* getconf(char *);
64 void invalise(void *, void *);
65 void cleandse(void *, void *);
66 void invaldse(void *, void *);
67 void clinvdse(void *, void *);
68 void invaldln(void *);
69 void cleandln(void *);
70 void clinvdln(void *);
72 void clean2pa(uintptr, uintptr);
73 void inval2pa(uintptr, uintptr);
75 uintptr palookur(void *);
76 void screeninit(void);
77 int isaconfig(char*, int, ISAConf*);