1 #include "../port/portfns.h"
4 int cistrcmp(char*, char*);
5 int cistrncmp(char*, char*, int);
8 void clockintrsched(void);
9 int cmpswap(long*, long, long);
10 #define coherence() eieio()
11 void cpuidprint(void);
12 #define cycles(x) do{}while(0)
13 void dcflush(void*, ulong);
16 void delayloopinit(void);
19 void faultpower(Ureg*, ulong addr, int read);
20 void fprestore(FPsave*);
32 void hwintrinit(void);
33 void i8250console(void);
35 int i8259intack(void);
36 int i8259enable(Vctl*);
38 int i8259disable(int);
39 void icflush(void*, ulong);
40 #define idlehands() /* nothing to do in the runproc */
42 void insb(int, void*, int);
44 void inss(int, void*, int);
46 void insl(int, void*, int);
48 void intrenable(int, void (*)(Ureg*, void*), void*, int, char*);
49 int ioalloc(int, int, int, char*);
52 int iprint(char*, ...);
53 int isaconfig(char*, int, ISAConf*);
59 void mpicdisable(int);
60 void mpicenable(int, Vctl*);
65 void outsb(int, void*, int);
66 void outs(int, ushort);
67 void outss(int, void*, int);
68 void outl(int, ulong);
69 void outsl(int, void*, int);
70 int pciscan(int, Pcidev **);
71 ulong pcibarsize(Pcidev *, int);
72 int pcicfgr8(Pcidev*, int);
73 int pcicfgr16(Pcidev*, int);
74 int pcicfgr32(Pcidev*, int);
75 void pcicfgw8(Pcidev*, int, int);
76 void pcicfgw16(Pcidev*, int, int);
77 void pcicfgw32(Pcidev*, int, int);
78 void pciclrbme(Pcidev*);
79 void pcihinv(Pcidev*);
80 uchar pciipin(Pcidev *, uchar);
81 Pcidev* pcimatch(Pcidev*, int, int);
82 Pcidev* pcimatchtbdf(int);
84 void pcisetbme(Pcidev*);
85 #define procrestore(p)
87 void procsetup(Proc*);
94 void putsr(int, ulong);
98 void timeradd(Timer *);
99 void timerdel(Timer *);
103 void tlbflush(ulong);
104 void tlbflushall(void);
105 #define userureg(ur) (((ur)->status & MSR_PR) != 0)
106 void watchreset(void);
108 #define waserror() (up->nerrlab++, setlabel(&up->errlab[up->nerrlab-1]))
109 #define KADDR(a) ((void*)((ulong)(a)|KZERO))
110 #define PADDR(a) ((ulong)(a)&~KZERO)