1 #include "../port/portfns.h"
6 void clockintrsched(void);
7 int cmpswap(long*, long, long);
8 #define coherence() eieio()
10 #define cycles(x) do{}while(0)
11 void dcflush(void*, ulong);
14 void delayloopinit(void);
17 void faultpower(Ureg*, ulong addr, int read);
18 void fprestore(FPsave*);
30 void hwintrinit(void);
31 void i8250console(void);
33 int i8259intack(void);
34 int i8259enable(Vctl*);
36 int i8259disable(int);
37 void icflush(void*, ulong);
38 #define idlehands() /* nothing to do in the runproc */
40 void insb(int, void*, int);
42 void inss(int, void*, int);
44 void insl(int, void*, int);
46 void intrenable(int, void (*)(Ureg*, void*), void*, int, char*);
48 int iprint(char*, ...);
49 int isaconfig(char*, int, ISAConf*);
55 void mpicdisable(int);
56 void mpicenable(int, Vctl*);
61 void outsb(int, void*, int);
62 void outs(int, ushort);
63 void outss(int, void*, int);
64 void outl(int, ulong);
65 void outsl(int, void*, int);
66 int pcicfgrw8(int, int, int, int);
67 int pcicfgrw16(int, int, int, int);
68 int pcicfgrw32(int, int, int, int);
69 #define procrestore(p)
71 void procsetup(Proc*);
78 void putsr(int, ulong);
82 void timeradd(Timer *);
83 void timerdel(Timer *);
88 void tlbflushall(void);
89 #define userureg(ur) (((ur)->status & MSR_PR) != 0)
90 void watchreset(void);
92 #define waserror() (up->nerrlab++, setlabel(&up->errlab[up->nerrlab-1]))
93 #define KADDR(a) ((void*)((ulong)(a)|KZERO))
94 #define PADDR(a) ((ulong)(a)&~KZERO)