1 /* This file has to be built with -mcpu=ev56 */
2 #ifdef HAVE_XORG_CONFIG_H
3 #include <xorg-config.h>
4 #endif
5
6 #include "xf86.h"
7 #include "compiler.h"
8
9 int readDense8(void *Base, register unsigned long Offset);
10 int readDense16(void *Base, register unsigned long Offset);
11 int readDense32(void *Base, register unsigned long Offset);
12 void
13 writeDense8(int Value, void *Base, register unsigned long Offset);
14 void
15 writeDense16(int Value, void *Base, register unsigned long Offset);
16 void
17 writeDense32(int Value, void *Base, register unsigned long Offset);
18
19 int
readDense8(void * Base,register unsigned long Offset)20 readDense8(void *Base, register unsigned long Offset)
21 {
22 mem_barrier();
23 return *(volatile CARD8 *) ((unsigned long) Base + (Offset));
24 }
25
26 int
readDense16(void * Base,register unsigned long Offset)27 readDense16(void *Base, register unsigned long Offset)
28 {
29 mem_barrier();
30 return *(volatile CARD16 *) ((unsigned long) Base + (Offset));
31 }
32
33 int
readDense32(void * Base,register unsigned long Offset)34 readDense32(void *Base, register unsigned long Offset)
35 {
36 mem_barrier();
37 return *(volatile CARD32 *) ((unsigned long) Base + (Offset));
38 }
39
40 void
writeDense8(int Value,void * Base,register unsigned long Offset)41 writeDense8(int Value, void *Base, register unsigned long Offset)
42 {
43 write_mem_barrier();
44 *(volatile CARD8 *) ((unsigned long) Base + (Offset)) = Value;
45 }
46
47 void
writeDense16(int Value,void * Base,register unsigned long Offset)48 writeDense16(int Value, void *Base, register unsigned long Offset)
49 {
50 write_mem_barrier();
51 *(volatile CARD16 *) ((unsigned long) Base + (Offset)) = Value;
52 }
53
54 void
writeDense32(int Value,void * Base,register unsigned long Offset)55 writeDense32(int Value, void *Base, register unsigned long Offset)
56 {
57 write_mem_barrier();
58 *(volatile CARD32 *) ((unsigned long) Base + (Offset)) = Value;
59 }
60