000a4b15a99d09ef65e443b8fe2ae89480285108
[coreboot.git] / src / arch / ppc / lib / setup.c
1 /* $Id$ */
2 /* Copyright 2000  AG Electronics Ltd. */
3 /* This code is distributed without warranty under the GPL v2 (see COPYING) */
4
5 #include "ppc.h"
6 #include "ppcreg.h"
7
8 unsigned __getmsr(void)
9 {
10     unsigned result;   
11     __asm__ volatile ("mfmsr %0" : "=r" (result));
12     return result;
13 }
14
15 unsigned __gethid0(void)
16 {
17     unsigned result;
18     __asm__ volatile ("mfspr %0,1008" : "=r" (result));
19     return result;
20 }
21
22 unsigned __gethid1(void)
23 {
24     unsigned result;
25     __asm__ volatile ("mfspr %0,1009" : "=r" (result));
26     return result;
27 }
28
29 void __sethid0(unsigned value)
30 {
31     __asm__ volatile ("mtspr 1008,%0" : : "r" (value));
32 }
33
34 unsigned __getpvr(void)
35 {
36     int result;
37     __asm__("mfspr %0, 287" : "=r" (result));
38     return result;
39 }
40
41 void __setmsr(unsigned value)
42 {
43     __asm__ volatile ("mtmsr %0; sync" :: "r" (value));   
44 }
45
46 void __set1015(unsigned value)
47 {
48     __asm__ volatile ("mtspr 1015,%0" : : "r" (value));
49 }
50
51 extern void _init_float_registers(const double *);
52 /*RODATA static const double dummy_float = 1.0;*/
53 static const double dummy_float = 1.0;
54
55 #define HID0_DCACHE HID0_DCE
56 #define MSR_DATA MSR_DR
57
58 void ppc_setup_cpu(int icache)
59 {
60     int type = __getpvr() >> 16;
61     int version = __getpvr() & 0xffff;
62     
63     if (type == 0xc) 
64     {
65         if (version == 0x0200)
66             __set1015(0x19000004);
67         else if (((version & 0xff00) == 0x0200) && 
68             (version != 0x0209))
69             __set1015(0x01000000);
70     }
71     if (icache)
72     {
73         __sethid0(HID0_NHR | HID0_BHT | HID0_ICE | HID0_ICFI | HID0_BTIC
74                 | HID0_DCACHE);
75         __sethid0(HID0_DPM | HID0_NHR | HID0_BHT | HID0_ICE | HID0_BTIC
76                 | HID0_DCACHE);        
77     }
78     else
79     {
80         __sethid0(HID0_DPM | HID0_NHR | HID0_BHT | HID0_BTIC | HID0_DCACHE);
81     }
82 #if 1
83    /* if (type == 8 || type == 12) */
84     {
85         __setmsr(MSR_FP | MSR_DATA);
86         _init_float_registers(&dummy_float);
87     }
88 #endif
89 }
90
91 void ppc_enable_dcache(void)
92 {
93         /*
94          * Already enabled in crt0.S
95          */
96 #if 0
97     unsigned hid0 = __gethid0();
98     __sethid0(hid0 | HID0_DCFI | HID0_DCE);
99     __sethid0(hid0 | HID0_DCE);
100 #endif
101 }
102
103 void ppc_disable_dcache(void)
104 {
105     unsigned hid0 = __gethid0();
106     __sethid0(hid0 & ~HID0_DCE);
107 }
108
109 void ppc_enable_mmu(void)
110 {
111     unsigned msr = __getmsr();
112     __setmsr(msr | MSR_DR | MSR_IR); 
113 }
114
115 void make_coherent(void *base, unsigned length)
116 {
117     unsigned hid0 = __gethid0();
118     
119     if (hid0 & HID0_DCE)
120     {
121         unsigned i;
122         unsigned offset = 0x1f & (unsigned) base;
123         unsigned adjusted_base = (unsigned) base & ~0x1f;
124         for(i = 0; i < length + offset; i+= 32)
125             __asm__ volatile ("dcbf %1,%0" : : "r" (adjusted_base), "r" (i));
126         if (hid0 & HID0_ICE)
127             for(i = 0; i < length + offset; i+= 32)
128                 __asm__ volatile ("icbi %1,%0" : : "r" (adjusted_base), "r" (i));
129     }
130 }