Added: new boot.S, serial out for Xeon Phi
[barrelfish] / devices / knc_sbox.dev
1 /*
2  * Copyright (c) 2014 ETH Zurich. All rights reserved.
3  *
4  * This file is distributed under the terms in the attached LICENSE file.
5  * If you do not find this file, copies can be found by writing to:
6  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
7  */
8
9 /*
10  * knc_sbox.dev
11  *
12  * description: intel e1000 family gigabit ethernet nics
13  */
14
15 device knc_sbox lsbfirst ( addr base ) "intel xeon phi (knights corner) sbox" {
16
17 register oc_i2c_icr                     rw addr(base, 0x1000) "foo" { };
18 register thermal_status                 rw addr(base, 0x1018) "foo" { };
19 register thermal_interrupt_enable               rw addr(base, 0x101c) "foo" { };
20 register status_fan1                    rw addr(base, 0x1024) "foo" { };
21 register status_fan2                    rw addr(base, 0x1028) "foo" { };
22 register speed_override_fan                 rw addr(base, 0x102c) "foo" { };
23 register board_temp1                    rw addr(base, 0x1030) "foo" { };
24 register board_temp2                    rw addr(base, 0x1034) "foo" { };
25 register board_voltage_sense                rw addr(base, 0x1038) "foo" { };
26 register current_die_temp0                  rw addr(base, 0x103c) "foo" { };
27 register current_die_temp1                  rw addr(base, 0x1040) "foo" { };
28 register current_die_temp2                  rw addr(base, 0x1044) "foo" { };
29 register max_die_temp0                  rw addr(base, 0x1048) "foo" { };
30 register max_die_temp1                  rw addr(base, 0x104c) "foo" { };
31 register max_die_temp2                  rw addr(base, 0x1050) "foo" { };
32 register elapsed_time_low                                   rw addr(base, 0x1074) "foo" { };
33 register elapsed_time_high                                  rw addr(base, 0x1078) "foo" { };
34 register fail_safe_offset                   rw addr(base, 0x2004) "foo" { };
35 register current_clk_ratio                  rw addr(base, 0x3004) "foo" { };
36 register smpt00                     rw addr(base, 0x3100) "foo" { };
37 register smpt02                     rw addr(base, 0x3108) "foo" { };
38 register rgcr                       rw addr(base, 0x4010) "foo" { };
39 register dstat                      rw addr(base, 0x4014) "foo" { };
40 register pcie_pci_revision_id_and_c_0x8         rw addr(base, 0x5808) "foo" { };
41 register pcie_bar_enable                    rw addr(base, 0x5cd4) "foo" { };
42 register sicr0                      rw addr(base, 0x9004) "foo" { };
43 register sice0                      rw addr(base, 0x900c) "foo" { };
44 register sicc0                      rw addr(base, 0x9010) "foo" { };
45 register sicr1                      rw addr(base, 0x901c) "foo" { };
46 register sicc1                      rw addr(base, 0x9028) "foo" { };
47 register pmu_period_sel             rw addr(base, 0x1070) "foo" { };
48 register thermal_status_interrupt   rw addr(base, 0x107c) "foo" { };
49 register thermal_status_2           rw addr(base, 0x1080) "foo" { };
50 register thermal_test_2             rw addr(base, 0x1084) "foo" { };
51 register corefreq                   rw addr(base, 0x4100) "foo" { };
52 register corevolt                   rw addr(base, 0x4104) "foo" { };
53 register memoryfreq                 rw addr(base, 0x4108) "foo" { };
54 register memvolt                    rw addr(base, 0x410c) "foo" { };
55 register sdbic0                     rw addr(base, 0xcc90) "foo" { };
56 register sdbic1                     rw addr(base, 0xcc94) "foo" { };
57 register sdbic2                     rw addr(base, 0xcc98) "foo" { };
58 register sdbic3                     rw addr(base, 0xcc9c) "foo" { };
59 register mxar0                      rw addr(base, 0x9040) "foo" { };
60 register mxar0_k1om                     rw addr(base, 0x9044) "foo" { };
61 register mxar1                      rw addr(base, 0x9044) "foo" { };
62 register mxar2                      rw addr(base, 0x9048) "foo" { };
63 register mxar3                      rw addr(base, 0x904c) "foo" { };
64 register mxar4                      rw addr(base, 0x9050) "foo" { };
65 register mxar5                      rw addr(base, 0x9054) "foo" { };
66 register mxar6                      rw addr(base, 0x9058) "foo" { };
67 register mxar7                      rw addr(base, 0x905c) "foo" { };
68 register mxar8                      rw addr(base, 0x9060) "foo" { };
69 register mxar9                      rw addr(base, 0x9064) "foo" { };
70 register mxar10                     rw addr(base, 0x9068) "foo" { };
71 register mxar11                     rw addr(base, 0x906c) "foo" { };
72 register mxar12                     rw addr(base, 0x9070) "foo" { };
73 register mxar13                     rw addr(base, 0x9074) "foo" { };
74 register mxar14                     rw addr(base, 0x9078) "foo" { };
75 register mxar15                     rw addr(base, 0x907c) "foo" { };
76 register msixpbacr                      rw addr(base, 0x9080) "foo" { };
77 register msixpbacr_k1om                 rw addr(base, 0x9084) "foo" { };
78 register dcar_0                     rw addr(base, 0xa000) "foo" { };
79 register dhpr_0                     rw addr(base, 0xa004) "foo" { };
80 register dtpr_0                     rw addr(base, 0xa008) "foo" { };
81 register daux_lo_0                      rw addr(base, 0xa00c) "foo" { };
82 register daux_hi_0                      rw addr(base, 0xa010) "foo" { };
83 register drar_lo_0                      rw addr(base, 0xa014) "foo" { };
84 register drar_hi_0                      rw addr(base, 0xa018) "foo" { };
85 register ditr_0                     rw addr(base, 0xa01c) "foo" { };
86 register dstat_0                        rw addr(base, 0xa020) "foo" { };
87 register dstatwb_lo_0                   rw addr(base, 0xa024) "foo" { };
88 register dstatwb_hi_0                   rw addr(base, 0xa028) "foo" { };
89 register dcherr_0                       rw addr(base, 0xa02c) "foo" { };
90 register dcherrmsk_0                    rw addr(base, 0xa030) "foo" { };
91 register dcar_1                     rw addr(base, 0xa040) "foo" { };
92 register dhpr_1                     rw addr(base, 0xa044) "foo" { };
93 register dtpr_1                     rw addr(base, 0xa048) "foo" { };
94 register daux_lo_1                      rw addr(base, 0xa04c) "foo" { };
95 register daux_hi_1                      rw addr(base, 0xa050) "foo" { };
96 register drar_lo_1                      rw addr(base, 0xa054) "foo" { };
97 register drar_hi_1                      rw addr(base, 0xa058) "foo" { };
98 register ditr_1                     rw addr(base, 0xa05c) "foo" { };
99 register dstat_1                        rw addr(base, 0xa060) "foo" { };
100 register dstatwb_lo_1                   rw addr(base, 0xa064) "foo" { };
101 register dstatwb_hi_1                   rw addr(base, 0xa068) "foo" { };
102 register dcherr_1                       rw addr(base, 0xa06c) "foo" { };
103 register dcherrmsk_1                    rw addr(base, 0xa070) "foo" { };
104 register dcar_2                     rw addr(base, 0xa080) "foo" { };
105 register dhpr_2                     rw addr(base, 0xa084) "foo" { };
106 register dtpr_2                     rw addr(base, 0xa088) "foo" { };
107 register daux_lo_2                      rw addr(base, 0xa08c) "foo" { };
108 register daux_hi_2                      rw addr(base, 0xa090) "foo" { };
109 register drar_lo_2                      rw addr(base, 0xa094) "foo" { };
110 register drar_hi_2                      rw addr(base, 0xa098) "foo" { };
111 register ditr_2                     rw addr(base, 0xa09c) "foo" { };
112 register dstat_2                        rw addr(base, 0xa0a0) "foo" { };
113 register dstatwb_lo_2                   rw addr(base, 0xa0a4) "foo" { };
114 register dstatwb_hi_2                   rw addr(base, 0xa0a8) "foo" { };
115 register dcherr_2                       rw addr(base, 0xa0ac) "foo" { };
116 register dcherrmsk_2                    rw addr(base, 0xa0b0) "foo" { };
117 register dcar_3                     rw addr(base, 0xa0c0) "foo" { };
118 register dhpr_3                     rw addr(base, 0xa0c4) "foo" { };
119 register dtpr_3                     rw addr(base, 0xa0c8) "foo" { };
120 register daux_lo_3                      rw addr(base, 0xa0cc) "foo" { };
121 register daux_hi_3                      rw addr(base, 0xa0d0) "foo" { };
122 register drar_lo_3                      rw addr(base, 0xa0d4) "foo" { };
123 register drar_hi_3                      rw addr(base, 0xa0d8) "foo" { };
124 register ditr_3                     rw addr(base, 0xa0dc) "foo" { };
125 register dstat_3                        rw addr(base, 0xa0e0) "foo" { };
126 register dstatwb_lo_3                   rw addr(base, 0xa0e4) "foo" { };
127 register dstatwb_hi_3                   rw addr(base, 0xa0e8) "foo" { };
128 register dcherr_3                       rw addr(base, 0xa0ec) "foo" { };
129 register dcherrmsk_3                    rw addr(base, 0xa0f0) "foo" { };
130 register dcar_4                     rw addr(base, 0xa100) "foo" { };
131 register dhpr_4                     rw addr(base, 0xa104) "foo" { };
132 register dtpr_4                     rw addr(base, 0xa108) "foo" { };
133 register daux_lo_4                      rw addr(base, 0xa10c) "foo" { };
134 register daux_hi_4                      rw addr(base, 0xa110) "foo" { };
135 register drar_lo_4                      rw addr(base, 0xa114) "foo" { };
136 register drar_hi_4                      rw addr(base, 0xa118) "foo" { };
137 register ditr_4                     rw addr(base, 0xa11c) "foo" { };
138 register dstat_4                        rw addr(base, 0xa120) "foo" { };
139 register dstatwb_lo_4                   rw addr(base, 0xa124) "foo" { };
140 register dstatwb_hi_4                   rw addr(base, 0xa128) "foo" { };
141 register dcherr_4                       rw addr(base, 0xa12c) "foo" { };
142 register dcherrmsk_4                    rw addr(base, 0xa130) "foo" { };
143 register dcar_5                     rw addr(base, 0xa140) "foo" { };
144 register dhpr_5                     rw addr(base, 0xa144) "foo" { };
145 register dtpr_5                     rw addr(base, 0xa148) "foo" { };
146 register daux_lo_5                      rw addr(base, 0xa14c) "foo" { };
147 register daux_hi_5                      rw addr(base, 0xa150) "foo" { };
148 register drar_lo_5                      rw addr(base, 0xa154) "foo" { };
149 register drar_hi_5                      rw addr(base, 0xa158) "foo" { };
150 register ditr_5                     rw addr(base, 0xa15c) "foo" { };
151 register dstat_5                        rw addr(base, 0xa160) "foo" { };
152 register dstatwb_lo_5                   rw addr(base, 0xa164) "foo" { };
153 register dstatwb_hi_5                   rw addr(base, 0xa168) "foo" { };
154 register dcherr_5                       rw addr(base, 0xa16c) "foo" { };
155 register dcherrmsk_5                    rw addr(base, 0xa170) "foo" { };
156 register dcar_6                     rw addr(base, 0xa180) "foo" { };
157 register dhpr_6                     rw addr(base, 0xa184) "foo" { };
158 register dtpr_6                     rw addr(base, 0xa188) "foo" { };
159 register daux_lo_6                      rw addr(base, 0xa18c) "foo" { };
160 register daux_hi_6                      rw addr(base, 0xa190) "foo" { };
161 register drar_lo_6                      rw addr(base, 0xa194) "foo" { };
162 register drar_hi_6                      rw addr(base, 0xa198) "foo" { };
163 register ditr_6                     rw addr(base, 0xa19c) "foo" { };
164 register dstat_6                        rw addr(base, 0xa1a0) "foo" { };
165 register dstatwb_lo_6                   rw addr(base, 0xa1a4) "foo" { };
166 register dstatwb_hi_6                   rw addr(base, 0xa1a8) "foo" { };
167 register dcherr_6                       rw addr(base, 0xa1ac) "foo" { };
168 register dcherrmsk_6                    rw addr(base, 0xa1b0) "foo" { };
169 register dcar_7                     rw addr(base, 0xa1c0) "foo" { };
170 register dhpr_7                     rw addr(base, 0xa1c4) "foo" { };
171 register dtpr_7                     rw addr(base, 0xa1c8) "foo" { };
172 register daux_lo_7                      rw addr(base, 0xa1cc) "foo" { };
173 register daux_hi_7                      rw addr(base, 0xa1d0) "foo" { };
174 register drar_lo_7                      rw addr(base, 0xa1d4) "foo" { };
175 register drar_hi_7                      rw addr(base, 0xa1d8) "foo" { };
176 register ditr_7                     rw addr(base, 0xa1dc) "foo" { };
177 register dstat_7                        rw addr(base, 0xa1e0) "foo" { };
178 register dstatwb_lo_7                   rw addr(base, 0xa1e4) "foo" { };
179 register dstatwb_hi_7                   rw addr(base, 0xa1e8) "foo" { };
180 register dcherr_7                       rw addr(base, 0xa1ec) "foo" { };
181 register dcherrmsk_7                    rw addr(base, 0xa1f0) "foo" { };
182 register dcr                        rw addr(base, 0xa280) "foo" { };
183 register apicicr0                       rw addr(base, 0xa9d0) "foo" { };
184 register apicicr1                       rw addr(base, 0xa9d8) "foo" { };
185 register apicicr2                       rw addr(base, 0xa9e0) "foo" { };
186 register apicicr3                       rw addr(base, 0xa9e8) "foo" { };
187 register apicicr4                       rw addr(base, 0xa9f0) "foo" { };
188 register apicicr5                       rw addr(base, 0xa9f8) "foo" { };
189 register apicicr6                       rw addr(base, 0xaa00) "foo" { };
190 register apicicr7                       rw addr(base, 0xaa08) "foo" { };
191 register scratch0                       rw addr(base, 0xab20) "foo" { };
192 register scratch1                       rw addr(base, 0xab24) "foo" { };
193 register scratch2                       rw addr(base, 0xab28) "foo" { };
194 register scratch3                       rw addr(base, 0xab2c) "foo" { };
195 register scratch4                       rw addr(base, 0xab30) "foo" { };
196 register scratch5                       rw addr(base, 0xab34) "foo" { };
197 register scratch6                       rw addr(base, 0xab38) "foo" { };
198 register scratch7                       rw addr(base, 0xab3c) "foo" { };
199 register scratch8                       rw addr(base, 0xab40) "foo" { };
200 register scratch9                       rw addr(base, 0xab44) "foo" { };
201 register scratch10                      rw addr(base, 0xab48) "foo" { };
202 register scratch11                      rw addr(base, 0xab4c) "foo" { };
203 register scratch12                      rw addr(base, 0xab50) "foo" { };
204 register scratch13                      rw addr(base, 0xab54) "foo" { };
205 register scratch14                      rw addr(base, 0xab58) "foo" { };
206 register scratch15                      rw addr(base, 0xab5c) "foo" { };
207 register rdmasr0                        rw addr(base, 0xb180) "foo" { };
208 register sbq_flush                      rw addr(base, 0xb1a0 ) "foo" { };
209 register tlb_flush                      rw addr(base, 0xb1a4) "foo" { };
210 register gtt_phy_base                   rw addr(base, 0xc118) "foo" { };
211 register emon_cnt0                      rw addr(base, 0xcc28) "foo" { };
212 register emon_cnt1                      rw addr(base, 0xcc2c) "foo" { };
213 register emon_cnt2                      rw addr(base, 0xcc30) "foo" { };
214 register emon_cnt3                      rw addr(base, 0xcc34) "foo" { };
215 };