Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / arm-trusted-firmware / 97043ac98e13a726dbf8b3b41654dca759e3da2c / . / include / lib / aarch64 / arch_helpers.h
blob: 565b1b4882a1de669b41c72d63879840e7af295f [file] [log] [blame]
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]1/*
Dan Handleye83b0ca2014-01-14 18:17:09 +0000[diff] [blame]2 * Copyright (c) 2013-2014, ARM Limited and Contributors. All rights reserved.
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met:
6 *
7 * Redistributions of source code must retain the above copyright notice, this
8 * list of conditions and the following disclaimer.
9 *
10 * Redistributions in binary form must reproduce the above copyright notice,
11 * this list of conditions and the following disclaimer in the documentation
12 * and/or other materials provided with the distribution.
13 *
14 * Neither the name of ARM nor the names of its contributors may be used
15 * to endorse or promote products derived from this software without specific
16 * prior written permission.
17 *
18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
21 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
22 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
23 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
24 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
26 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
27 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28 * POSSIBILITY OF SUCH DAMAGE.
29 */
30
31#ifndef __ARCH_HELPERS_H__
32#define __ARCH_HELPERS_H__
33
Dan Handley97043ac2014-04-09 13:14:54 +0100[diff] [blame^]34#include <cdefs.h> /* For __dead2 */
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]35
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]36
37/*******************************************************************************
Achin Guptaa0cd9892014-02-09 13:30:38 +0000[diff] [blame]38 * Aarch64 translation tables manipulation helper prototypes
39 ******************************************************************************/
40extern unsigned long create_table_desc(unsigned long *next_table_ptr);
41extern unsigned long create_block_desc(unsigned long desc,
42 unsigned long addr,
43 unsigned int level);
44extern unsigned long create_device_block(unsigned long output_addr,
45 unsigned int level,
46 unsigned int ns);
47extern unsigned long create_romem_block(unsigned long output_addr,
48 unsigned int level,
49 unsigned int ns);
50extern unsigned long create_rwmem_block(unsigned long output_addr,
51 unsigned int level,
52 unsigned int ns);
53
54/*******************************************************************************
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]55 * TLB maintenance accessor prototypes
56 ******************************************************************************/
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]57extern void tlbialle1(void);
58extern void tlbialle1is(void);
59extern void tlbialle2(void);
60extern void tlbialle2is(void);
61extern void tlbialle3(void);
62extern void tlbialle3is(void);
63extern void tlbivmalle1(void);
64
65/*******************************************************************************
66 * Cache maintenance accessor prototypes
67 ******************************************************************************/
68extern void dcisw(unsigned long);
69extern void dccisw(unsigned long);
70extern void dccsw(unsigned long);
71extern void dccvac(unsigned long);
72extern void dcivac(unsigned long);
73extern void dccivac(unsigned long);
74extern void dccvau(unsigned long);
75extern void dczva(unsigned long);
76extern void flush_dcache_range(unsigned long, unsigned long);
77extern void inv_dcache_range(unsigned long, unsigned long);
78extern void dcsw_op_louis(unsigned int);
79extern void dcsw_op_all(unsigned int);
80
81/*******************************************************************************
82 * Misc. accessor prototypes
83 ******************************************************************************/
84extern void enable_irq(void);
85extern void enable_fiq(void);
86extern void enable_serror(void);
Sandrine Bailleux37382742013-11-18 17:26:59 +0000[diff] [blame]87extern void enable_debug_exceptions(void);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]88
89extern void disable_irq(void);
90extern void disable_fiq(void);
91extern void disable_serror(void);
Sandrine Bailleux37382742013-11-18 17:26:59 +0000[diff] [blame]92extern void disable_debug_exceptions(void);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]93
94extern unsigned long read_id_pfr1_el1(void);
95extern unsigned long read_id_aa64pfr0_el1(void);
96extern unsigned long read_current_el(void);
97extern unsigned long read_daif(void);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]98extern unsigned long read_spsr_el1(void);
99extern unsigned long read_spsr_el2(void);
100extern unsigned long read_spsr_el3(void);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]101extern unsigned long read_elr_el1(void);
102extern unsigned long read_elr_el2(void);
103extern unsigned long read_elr_el3(void);
104
105extern void write_daif(unsigned long);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]106extern void write_spsr_el1(unsigned long);
107extern void write_spsr_el2(unsigned long);
108extern void write_spsr_el3(unsigned long);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]109extern void write_elr_el1(unsigned long);
110extern void write_elr_el2(unsigned long);
111extern void write_elr_el3(unsigned long);
112
113extern void wfi(void);
114extern void wfe(void);
115extern void rfe(void);
116extern void sev(void);
117extern void dsb(void);
118extern void isb(void);
119
120extern unsigned int get_afflvl_shift(unsigned int);
121extern unsigned int mpidr_mask_lower_afflvls(unsigned long, unsigned int);
122
Achin Guptae4d084e2014-02-19 17:18:23 +0000[diff] [blame]123extern void __dead2 eret(unsigned long, unsigned long,
124 unsigned long, unsigned long,
125 unsigned long, unsigned long,
126 unsigned long, unsigned long);
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]127
Achin Guptae4d084e2014-02-19 17:18:23 +0000[diff] [blame]128extern void __dead2 smc(unsigned long, unsigned long,
129 unsigned long, unsigned long,
130 unsigned long, unsigned long,
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]131 unsigned long, unsigned long);
132
133/*******************************************************************************
134 * System register accessor prototypes
135 ******************************************************************************/
136extern unsigned long read_midr(void);
137extern unsigned long read_mpidr(void);
138
139extern unsigned long read_scr(void);
140extern unsigned long read_hcr(void);
141
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]142extern unsigned long read_vbar_el1(void);
143extern unsigned long read_vbar_el2(void);
144extern unsigned long read_vbar_el3(void);
145
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]146extern unsigned long read_sctlr_el1(void);
147extern unsigned long read_sctlr_el2(void);
148extern unsigned long read_sctlr_el3(void);
149
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]150extern unsigned long read_actlr_el1(void);
151extern unsigned long read_actlr_el2(void);
152extern unsigned long read_actlr_el3(void);
153
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]154extern unsigned long read_esr_el1(void);
155extern unsigned long read_esr_el2(void);
156extern unsigned long read_esr_el3(void);
157
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]158extern unsigned long read_afsr0_el1(void);
159extern unsigned long read_afsr0_el2(void);
160extern unsigned long read_afsr0_el3(void);
161
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]162extern unsigned long read_afsr1_el1(void);
163extern unsigned long read_afsr1_el2(void);
164extern unsigned long read_afsr1_el3(void);
165
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]166extern unsigned long read_far_el1(void);
167extern unsigned long read_far_el2(void);
168extern unsigned long read_far_el3(void);
169
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]170extern unsigned long read_mair_el1(void);
171extern unsigned long read_mair_el2(void);
172extern unsigned long read_mair_el3(void);
173
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]174extern unsigned long read_amair_el1(void);
175extern unsigned long read_amair_el2(void);
176extern unsigned long read_amair_el3(void);
177
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]178extern unsigned long read_rvbar_el1(void);
179extern unsigned long read_rvbar_el2(void);
180extern unsigned long read_rvbar_el3(void);
181
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]182extern unsigned long read_rmr_el1(void);
183extern unsigned long read_rmr_el2(void);
184extern unsigned long read_rmr_el3(void);
185
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]186extern unsigned long read_tcr_el1(void);
187extern unsigned long read_tcr_el2(void);
188extern unsigned long read_tcr_el3(void);
189
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]190extern unsigned long read_ttbr0_el1(void);
191extern unsigned long read_ttbr0_el2(void);
192extern unsigned long read_ttbr0_el3(void);
193
194extern unsigned long read_ttbr1(void);
195extern unsigned long read_ttbr1_el1(void);
196extern unsigned long read_ttbr1_el2(void);
197
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]198extern unsigned long read_cptr_el2(void);
199extern unsigned long read_cptr_el3(void);
200
201extern unsigned long read_cpacr(void);
202extern unsigned long read_cpuectlr(void);
203extern unsigned int read_cntfrq_el0(void);
204extern unsigned long read_cnthctl_el2(void);
205
206extern void write_scr(unsigned long);
207extern void write_hcr(unsigned long);
208extern void write_cpacr(unsigned long);
209extern void write_cntfrq_el0(unsigned int);
210extern void write_cnthctl_el2(unsigned long);
211
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]212extern void write_vbar_el1(unsigned long);
213extern void write_vbar_el2(unsigned long);
214extern void write_vbar_el3(unsigned long);
215
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]216extern void write_sctlr_el1(unsigned long);
217extern void write_sctlr_el2(unsigned long);
218extern void write_sctlr_el3(unsigned long);
219
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]220extern void write_actlr_el1(unsigned long);
221extern void write_actlr_el2(unsigned long);
222extern void write_actlr_el3(unsigned long);
223
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]224extern void write_esr_el1(unsigned long);
225extern void write_esr_el2(unsigned long);
226extern void write_esr_el3(unsigned long);
227
228extern void write_afsr0(unsigned long);
229extern void write_afsr0_el1(unsigned long);
230extern void write_afsr0_el2(unsigned long);
231extern void write_afsr0_el3(unsigned long);
232
233extern void write_afsr1(unsigned long);
234extern void write_afsr1_el1(unsigned long);
235extern void write_afsr1_el2(unsigned long);
236extern void write_afsr1_el3(unsigned long);
237
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]238extern void write_far_el1(unsigned long);
239extern void write_far_el2(unsigned long);
240extern void write_far_el3(unsigned long);
241
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]242extern void write_mair_el1(unsigned long);
243extern void write_mair_el2(unsigned long);
244extern void write_mair_el3(unsigned long);
245
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]246extern void write_amair_el1(unsigned long);
247extern void write_amair_el2(unsigned long);
248extern void write_amair_el3(unsigned long);
249
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]250extern void write_rmr_el1(unsigned long);
251extern void write_rmr_el2(unsigned long);
252extern void write_rmr_el3(unsigned long);
253
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]254extern void write_tcr_el1(unsigned long);
255extern void write_tcr_el2(unsigned long);
256extern void write_tcr_el3(unsigned long);
257
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]258extern void write_ttbr0_el1(unsigned long);
259extern void write_ttbr0_el2(unsigned long);
260extern void write_ttbr0_el3(unsigned long);
261
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]262extern void write_ttbr1_el1(unsigned long);
263extern void write_ttbr1_el2(unsigned long);
264
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]265extern void write_cpuectlr(unsigned long);
266extern void write_cptr_el2(unsigned long);
267extern void write_cptr_el3(unsigned long);
268
Achin Gupta4f6ad662013-10-25 09:08:21 +0100[diff] [blame]269
270#endif /* __ARCH_HELPERS_H__ */