xref: /freebsd/sys/contrib/xen/arch-arm.h (revision 3a9fd8242b35884921dfc4e886f284a75870a536)
1*3a9fd824SRoger Pau Monné /******************************************************************************
2*3a9fd824SRoger Pau Monné  * arch-arm.h
3*3a9fd824SRoger Pau Monné  *
4*3a9fd824SRoger Pau Monné  * Guest OS interface to ARM Xen.
5*3a9fd824SRoger Pau Monné  *
6*3a9fd824SRoger Pau Monné  * Permission is hereby granted, free of charge, to any person obtaining a copy
7*3a9fd824SRoger Pau Monné  * of this software and associated documentation files (the "Software"), to
8*3a9fd824SRoger Pau Monné  * deal in the Software without restriction, including without limitation the
9*3a9fd824SRoger Pau Monné  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
10*3a9fd824SRoger Pau Monné  * sell copies of the Software, and to permit persons to whom the Software is
11*3a9fd824SRoger Pau Monné  * furnished to do so, subject to the following conditions:
12*3a9fd824SRoger Pau Monné  *
13*3a9fd824SRoger Pau Monné  * The above copyright notice and this permission notice shall be included in
14*3a9fd824SRoger Pau Monné  * all copies or substantial portions of the Software.
15*3a9fd824SRoger Pau Monné  *
16*3a9fd824SRoger Pau Monné  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17*3a9fd824SRoger Pau Monné  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18*3a9fd824SRoger Pau Monné  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19*3a9fd824SRoger Pau Monné  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20*3a9fd824SRoger Pau Monné  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
21*3a9fd824SRoger Pau Monné  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
22*3a9fd824SRoger Pau Monné  * DEALINGS IN THE SOFTWARE.
23*3a9fd824SRoger Pau Monné  *
24*3a9fd824SRoger Pau Monné  * Copyright 2011 (C) Citrix Systems
25*3a9fd824SRoger Pau Monné  */
26*3a9fd824SRoger Pau Monné 
27*3a9fd824SRoger Pau Monné #ifndef __XEN_PUBLIC_ARCH_ARM_H__
28*3a9fd824SRoger Pau Monné #define __XEN_PUBLIC_ARCH_ARM_H__
29*3a9fd824SRoger Pau Monné 
30*3a9fd824SRoger Pau Monné /*
31*3a9fd824SRoger Pau Monné  * `incontents 50 arm_abi Hypercall Calling Convention
32*3a9fd824SRoger Pau Monné  *
33*3a9fd824SRoger Pau Monné  * A hypercall is issued using the ARM HVC instruction.
34*3a9fd824SRoger Pau Monné  *
35*3a9fd824SRoger Pau Monné  * A hypercall can take up to 5 arguments. These are passed in
36*3a9fd824SRoger Pau Monné  * registers, the first argument in x0/r0 (for arm64/arm32 guests
37*3a9fd824SRoger Pau Monné  * respectively irrespective of whether the underlying hypervisor is
38*3a9fd824SRoger Pau Monné  * 32- or 64-bit), the second argument in x1/r1, the third in x2/r2,
39*3a9fd824SRoger Pau Monné  * the forth in x3/r3 and the fifth in x4/r4.
40*3a9fd824SRoger Pau Monné  *
41*3a9fd824SRoger Pau Monné  * The hypercall number is passed in r12 (arm) or x16 (arm64). In both
42*3a9fd824SRoger Pau Monné  * cases the relevant ARM procedure calling convention specifies this
43*3a9fd824SRoger Pau Monné  * is an inter-procedure-call scratch register (e.g. for use in linker
44*3a9fd824SRoger Pau Monné  * stubs). This use does not conflict with use during a hypercall.
45*3a9fd824SRoger Pau Monné  *
46*3a9fd824SRoger Pau Monné  * The HVC ISS must contain a Xen specific TAG: XEN_HYPERCALL_TAG.
47*3a9fd824SRoger Pau Monné  *
48*3a9fd824SRoger Pau Monné  * The return value is in x0/r0.
49*3a9fd824SRoger Pau Monné  *
50*3a9fd824SRoger Pau Monné  * The hypercall will clobber x16/r12 and the argument registers used
51*3a9fd824SRoger Pau Monné  * by that hypercall (except r0 which is the return value) i.e. in
52*3a9fd824SRoger Pau Monné  * addition to x16/r12 a 2 argument hypercall will clobber x1/r1 and a
53*3a9fd824SRoger Pau Monné  * 4 argument hypercall will clobber x1/r1, x2/r2 and x3/r3.
54*3a9fd824SRoger Pau Monné  *
55*3a9fd824SRoger Pau Monné  * Parameter structs passed to hypercalls are laid out according to
56*3a9fd824SRoger Pau Monné  * the Procedure Call Standard for the ARM Architecture (AAPCS, AKA
57*3a9fd824SRoger Pau Monné  * EABI) and Procedure Call Standard for the ARM 64-bit Architecture
58*3a9fd824SRoger Pau Monné  * (AAPCS64). Where there is a conflict the 64-bit standard should be
59*3a9fd824SRoger Pau Monné  * used regardless of guest type. Structures which are passed as
60*3a9fd824SRoger Pau Monné  * hypercall arguments are always little endian.
61*3a9fd824SRoger Pau Monné  *
62*3a9fd824SRoger Pau Monné  * All memory which is shared with other entities in the system
63*3a9fd824SRoger Pau Monné  * (including the hypervisor and other guests) must reside in memory
64*3a9fd824SRoger Pau Monné  * which is mapped as Normal Inner Write-Back Outer Write-Back Inner-Shareable.
65*3a9fd824SRoger Pau Monné  * This applies to:
66*3a9fd824SRoger Pau Monné  *  - hypercall arguments passed via a pointer to guest memory.
67*3a9fd824SRoger Pau Monné  *  - memory shared via the grant table mechanism (including PV I/O
68*3a9fd824SRoger Pau Monné  *    rings etc).
69*3a9fd824SRoger Pau Monné  *  - memory shared with the hypervisor (struct shared_info, struct
70*3a9fd824SRoger Pau Monné  *    vcpu_info, the grant table, etc).
71*3a9fd824SRoger Pau Monné  *
72*3a9fd824SRoger Pau Monné  * Any cache allocation hints are acceptable.
73*3a9fd824SRoger Pau Monné  */
74*3a9fd824SRoger Pau Monné 
75*3a9fd824SRoger Pau Monné /*
76*3a9fd824SRoger Pau Monné  * `incontents 55 arm_hcall Supported Hypercalls
77*3a9fd824SRoger Pau Monné  *
78*3a9fd824SRoger Pau Monné  * Xen on ARM makes extensive use of hardware facilities and therefore
79*3a9fd824SRoger Pau Monné  * only a subset of the potential hypercalls are required.
80*3a9fd824SRoger Pau Monné  *
81*3a9fd824SRoger Pau Monné  * Since ARM uses second stage paging any machine/physical addresses
82*3a9fd824SRoger Pau Monné  * passed to hypercalls are Guest Physical Addresses (Intermediate
83*3a9fd824SRoger Pau Monné  * Physical Addresses) unless otherwise noted.
84*3a9fd824SRoger Pau Monné  *
85*3a9fd824SRoger Pau Monné  * The following hypercalls (and sub operations) are supported on the
86*3a9fd824SRoger Pau Monné  * ARM platform. Other hypercalls should be considered
87*3a9fd824SRoger Pau Monné  * unavailable/unsupported.
88*3a9fd824SRoger Pau Monné  *
89*3a9fd824SRoger Pau Monné  *  HYPERVISOR_memory_op
90*3a9fd824SRoger Pau Monné  *   All generic sub-operations
91*3a9fd824SRoger Pau Monné  *
92*3a9fd824SRoger Pau Monné  *  HYPERVISOR_domctl
93*3a9fd824SRoger Pau Monné  *   All generic sub-operations, with the exception of:
94*3a9fd824SRoger Pau Monné  *    * XEN_DOMCTL_irq_permission (not yet implemented)
95*3a9fd824SRoger Pau Monné  *
96*3a9fd824SRoger Pau Monné  *  HYPERVISOR_sched_op
97*3a9fd824SRoger Pau Monné  *   All generic sub-operations, with the exception of:
98*3a9fd824SRoger Pau Monné  *    * SCHEDOP_block -- prefer wfi hardware instruction
99*3a9fd824SRoger Pau Monné  *
100*3a9fd824SRoger Pau Monné  *  HYPERVISOR_console_io
101*3a9fd824SRoger Pau Monné  *   All generic sub-operations
102*3a9fd824SRoger Pau Monné  *
103*3a9fd824SRoger Pau Monné  *  HYPERVISOR_xen_version
104*3a9fd824SRoger Pau Monné  *   All generic sub-operations
105*3a9fd824SRoger Pau Monné  *
106*3a9fd824SRoger Pau Monné  *  HYPERVISOR_event_channel_op
107*3a9fd824SRoger Pau Monné  *   All generic sub-operations
108*3a9fd824SRoger Pau Monné  *
109*3a9fd824SRoger Pau Monné  *  HYPERVISOR_physdev_op
110*3a9fd824SRoger Pau Monné  *   Exactly these sub-operations are supported:
111*3a9fd824SRoger Pau Monné  *   PHYSDEVOP_pci_device_add
112*3a9fd824SRoger Pau Monné  *   PHYSDEVOP_pci_device_remove
113*3a9fd824SRoger Pau Monné  *
114*3a9fd824SRoger Pau Monné  *  HYPERVISOR_sysctl
115*3a9fd824SRoger Pau Monné  *   All generic sub-operations, with the exception of:
116*3a9fd824SRoger Pau Monné  *    * XEN_SYSCTL_page_offline_op
117*3a9fd824SRoger Pau Monné  *    * XEN_SYSCTL_get_pmstat
118*3a9fd824SRoger Pau Monné  *    * XEN_SYSCTL_pm_op
119*3a9fd824SRoger Pau Monné  *
120*3a9fd824SRoger Pau Monné  *  HYPERVISOR_hvm_op
121*3a9fd824SRoger Pau Monné  *   Exactly these sub-operations are supported:
122*3a9fd824SRoger Pau Monné  *    * HVMOP_set_param
123*3a9fd824SRoger Pau Monné  *    * HVMOP_get_param
124*3a9fd824SRoger Pau Monné  *
125*3a9fd824SRoger Pau Monné  *  HYPERVISOR_grant_table_op
126*3a9fd824SRoger Pau Monné  *   All generic sub-operations
127*3a9fd824SRoger Pau Monné  *
128*3a9fd824SRoger Pau Monné  *  HYPERVISOR_vcpu_op
129*3a9fd824SRoger Pau Monné  *   Exactly these sub-operations are supported:
130*3a9fd824SRoger Pau Monné  *    * VCPUOP_register_vcpu_info
131*3a9fd824SRoger Pau Monné  *    * VCPUOP_register_runstate_memory_area
132*3a9fd824SRoger Pau Monné  *
133*3a9fd824SRoger Pau Monné  *  HYPERVISOR_argo_op
134*3a9fd824SRoger Pau Monné  *   All generic sub-operations
135*3a9fd824SRoger Pau Monné  *
136*3a9fd824SRoger Pau Monné  * Other notes on the ARM ABI:
137*3a9fd824SRoger Pau Monné  *
138*3a9fd824SRoger Pau Monné  * - struct start_info is not exported to ARM guests.
139*3a9fd824SRoger Pau Monné  *
140*3a9fd824SRoger Pau Monné  * - struct shared_info is mapped by ARM guests using the
141*3a9fd824SRoger Pau Monné  *   HYPERVISOR_memory_op sub-op XENMEM_add_to_physmap, passing
142*3a9fd824SRoger Pau Monné  *   XENMAPSPACE_shared_info as space parameter.
143*3a9fd824SRoger Pau Monné  *
144*3a9fd824SRoger Pau Monné  * - All the per-cpu struct vcpu_info are mapped by ARM guests using the
145*3a9fd824SRoger Pau Monné  *   HYPERVISOR_vcpu_op sub-op VCPUOP_register_vcpu_info, including cpu0
146*3a9fd824SRoger Pau Monné  *   struct vcpu_info.
147*3a9fd824SRoger Pau Monné  *
148*3a9fd824SRoger Pau Monné  * - The grant table is mapped using the HYPERVISOR_memory_op sub-op
149*3a9fd824SRoger Pau Monné  *   XENMEM_add_to_physmap, passing XENMAPSPACE_grant_table as space
150*3a9fd824SRoger Pau Monné  *   parameter. The memory range specified under the Xen compatible
151*3a9fd824SRoger Pau Monné  *   hypervisor node on device tree can be used as target gpfn for the
152*3a9fd824SRoger Pau Monné  *   mapping.
153*3a9fd824SRoger Pau Monné  *
154*3a9fd824SRoger Pau Monné  * - Xenstore is initialized by using the two hvm_params
155*3a9fd824SRoger Pau Monné  *   HVM_PARAM_STORE_PFN and HVM_PARAM_STORE_EVTCHN. They can be read
156*3a9fd824SRoger Pau Monné  *   with the HYPERVISOR_hvm_op sub-op HVMOP_get_param.
157*3a9fd824SRoger Pau Monné  *
158*3a9fd824SRoger Pau Monné  * - The paravirtualized console is initialized by using the two
159*3a9fd824SRoger Pau Monné  *   hvm_params HVM_PARAM_CONSOLE_PFN and HVM_PARAM_CONSOLE_EVTCHN. They
160*3a9fd824SRoger Pau Monné  *   can be read with the HYPERVISOR_hvm_op sub-op HVMOP_get_param.
161*3a9fd824SRoger Pau Monné  *
162*3a9fd824SRoger Pau Monné  * - Event channel notifications are delivered using the percpu GIC
163*3a9fd824SRoger Pau Monné  *   interrupt specified under the Xen compatible hypervisor node on
164*3a9fd824SRoger Pau Monné  *   device tree.
165*3a9fd824SRoger Pau Monné  *
166*3a9fd824SRoger Pau Monné  * - The device tree Xen compatible node is fully described under Linux
167*3a9fd824SRoger Pau Monné  *   at Documentation/devicetree/bindings/arm/xen.txt.
168*3a9fd824SRoger Pau Monné  */
169*3a9fd824SRoger Pau Monné 
170*3a9fd824SRoger Pau Monné #define XEN_HYPERCALL_TAG   0XEA1
171*3a9fd824SRoger Pau Monné 
172*3a9fd824SRoger Pau Monné #define  int64_aligned_t  int64_t __attribute__((aligned(8)))
173*3a9fd824SRoger Pau Monné #define uint64_aligned_t uint64_t __attribute__((aligned(8)))
174*3a9fd824SRoger Pau Monné 
175*3a9fd824SRoger Pau Monné #ifndef __ASSEMBLY__
176*3a9fd824SRoger Pau Monné #define ___DEFINE_XEN_GUEST_HANDLE(name, type)                  \
177*3a9fd824SRoger Pau Monné     typedef union { type *p; unsigned long q; }                 \
178*3a9fd824SRoger Pau Monné         __guest_handle_ ## name;                                \
179*3a9fd824SRoger Pau Monné     typedef union { type *p; uint64_aligned_t q; }              \
180*3a9fd824SRoger Pau Monné         __guest_handle_64_ ## name
181*3a9fd824SRoger Pau Monné 
182*3a9fd824SRoger Pau Monné /*
183*3a9fd824SRoger Pau Monné  * XEN_GUEST_HANDLE represents a guest pointer, when passed as a field
184*3a9fd824SRoger Pau Monné  * in a struct in memory. On ARM is always 8 bytes sizes and 8 bytes
185*3a9fd824SRoger Pau Monné  * aligned.
186*3a9fd824SRoger Pau Monné  * XEN_GUEST_HANDLE_PARAM represents a guest pointer, when passed as an
187*3a9fd824SRoger Pau Monné  * hypercall argument. It is 4 bytes on aarch32 and 8 bytes on aarch64.
188*3a9fd824SRoger Pau Monné  */
189*3a9fd824SRoger Pau Monné #define __DEFINE_XEN_GUEST_HANDLE(name, type) \
190*3a9fd824SRoger Pau Monné     ___DEFINE_XEN_GUEST_HANDLE(name, type);   \
191*3a9fd824SRoger Pau Monné     ___DEFINE_XEN_GUEST_HANDLE(const_##name, const type)
192*3a9fd824SRoger Pau Monné #define DEFINE_XEN_GUEST_HANDLE(name)   __DEFINE_XEN_GUEST_HANDLE(name, name)
193*3a9fd824SRoger Pau Monné #define __XEN_GUEST_HANDLE(name)        __guest_handle_64_ ## name
194*3a9fd824SRoger Pau Monné #define XEN_GUEST_HANDLE(name)          __XEN_GUEST_HANDLE(name)
195*3a9fd824SRoger Pau Monné #define XEN_GUEST_HANDLE_PARAM(name)    __guest_handle_ ## name
196*3a9fd824SRoger Pau Monné #define set_xen_guest_handle_raw(hnd, val)                  \
197*3a9fd824SRoger Pau Monné     do {                                                    \
198*3a9fd824SRoger Pau Monné         __typeof__(&(hnd)) _sxghr_tmp = &(hnd);             \
199*3a9fd824SRoger Pau Monné         _sxghr_tmp->q = 0;                                  \
200*3a9fd824SRoger Pau Monné         _sxghr_tmp->p = val;                                \
201*3a9fd824SRoger Pau Monné     } while ( 0 )
202*3a9fd824SRoger Pau Monné #define set_xen_guest_handle(hnd, val) set_xen_guest_handle_raw(hnd, val)
203*3a9fd824SRoger Pau Monné 
204*3a9fd824SRoger Pau Monné typedef uint64_t xen_pfn_t;
205*3a9fd824SRoger Pau Monné #define PRI_xen_pfn PRIx64
206*3a9fd824SRoger Pau Monné #define PRIu_xen_pfn PRIu64
207*3a9fd824SRoger Pau Monné 
208*3a9fd824SRoger Pau Monné /*
209*3a9fd824SRoger Pau Monné  * Maximum number of virtual CPUs in legacy multi-processor guests.
210*3a9fd824SRoger Pau Monné  * Only one. All other VCPUS must use VCPUOP_register_vcpu_info.
211*3a9fd824SRoger Pau Monné  */
212*3a9fd824SRoger Pau Monné #define XEN_LEGACY_MAX_VCPUS 1
213*3a9fd824SRoger Pau Monné 
214*3a9fd824SRoger Pau Monné typedef uint64_t xen_ulong_t;
215*3a9fd824SRoger Pau Monné #define PRI_xen_ulong PRIx64
216*3a9fd824SRoger Pau Monné 
217*3a9fd824SRoger Pau Monné #if defined(__XEN__) || defined(__XEN_TOOLS__)
218*3a9fd824SRoger Pau Monné #if defined(__GNUC__) && !defined(__STRICT_ANSI__)
219*3a9fd824SRoger Pau Monné /* Anonymous union includes both 32- and 64-bit names (e.g., r0/x0). */
220*3a9fd824SRoger Pau Monné # define __DECL_REG(n64, n32) union {          \
221*3a9fd824SRoger Pau Monné         uint64_t n64;                          \
222*3a9fd824SRoger Pau Monné         uint32_t n32;                          \
223*3a9fd824SRoger Pau Monné     }
224*3a9fd824SRoger Pau Monné #else
225*3a9fd824SRoger Pau Monné /* Non-gcc sources must always use the proper 64-bit name (e.g., x0). */
226*3a9fd824SRoger Pau Monné #define __DECL_REG(n64, n32) uint64_t n64
227*3a9fd824SRoger Pau Monné #endif
228*3a9fd824SRoger Pau Monné 
229*3a9fd824SRoger Pau Monné struct vcpu_guest_core_regs
230*3a9fd824SRoger Pau Monné {
231*3a9fd824SRoger Pau Monné     /*         Aarch64       Aarch32 */
232*3a9fd824SRoger Pau Monné     __DECL_REG(x0,           r0_usr);
233*3a9fd824SRoger Pau Monné     __DECL_REG(x1,           r1_usr);
234*3a9fd824SRoger Pau Monné     __DECL_REG(x2,           r2_usr);
235*3a9fd824SRoger Pau Monné     __DECL_REG(x3,           r3_usr);
236*3a9fd824SRoger Pau Monné     __DECL_REG(x4,           r4_usr);
237*3a9fd824SRoger Pau Monné     __DECL_REG(x5,           r5_usr);
238*3a9fd824SRoger Pau Monné     __DECL_REG(x6,           r6_usr);
239*3a9fd824SRoger Pau Monné     __DECL_REG(x7,           r7_usr);
240*3a9fd824SRoger Pau Monné     __DECL_REG(x8,           r8_usr);
241*3a9fd824SRoger Pau Monné     __DECL_REG(x9,           r9_usr);
242*3a9fd824SRoger Pau Monné     __DECL_REG(x10,          r10_usr);
243*3a9fd824SRoger Pau Monné     __DECL_REG(x11,          r11_usr);
244*3a9fd824SRoger Pau Monné     __DECL_REG(x12,          r12_usr);
245*3a9fd824SRoger Pau Monné 
246*3a9fd824SRoger Pau Monné     __DECL_REG(x13,          sp_usr);
247*3a9fd824SRoger Pau Monné     __DECL_REG(x14,          lr_usr);
248*3a9fd824SRoger Pau Monné 
249*3a9fd824SRoger Pau Monné     __DECL_REG(x15,          __unused_sp_hyp);
250*3a9fd824SRoger Pau Monné 
251*3a9fd824SRoger Pau Monné     __DECL_REG(x16,          lr_irq);
252*3a9fd824SRoger Pau Monné     __DECL_REG(x17,          sp_irq);
253*3a9fd824SRoger Pau Monné 
254*3a9fd824SRoger Pau Monné     __DECL_REG(x18,          lr_svc);
255*3a9fd824SRoger Pau Monné     __DECL_REG(x19,          sp_svc);
256*3a9fd824SRoger Pau Monné 
257*3a9fd824SRoger Pau Monné     __DECL_REG(x20,          lr_abt);
258*3a9fd824SRoger Pau Monné     __DECL_REG(x21,          sp_abt);
259*3a9fd824SRoger Pau Monné 
260*3a9fd824SRoger Pau Monné     __DECL_REG(x22,          lr_und);
261*3a9fd824SRoger Pau Monné     __DECL_REG(x23,          sp_und);
262*3a9fd824SRoger Pau Monné 
263*3a9fd824SRoger Pau Monné     __DECL_REG(x24,          r8_fiq);
264*3a9fd824SRoger Pau Monné     __DECL_REG(x25,          r9_fiq);
265*3a9fd824SRoger Pau Monné     __DECL_REG(x26,          r10_fiq);
266*3a9fd824SRoger Pau Monné     __DECL_REG(x27,          r11_fiq);
267*3a9fd824SRoger Pau Monné     __DECL_REG(x28,          r12_fiq);
268*3a9fd824SRoger Pau Monné 
269*3a9fd824SRoger Pau Monné     __DECL_REG(x29,          sp_fiq);
270*3a9fd824SRoger Pau Monné     __DECL_REG(x30,          lr_fiq);
271*3a9fd824SRoger Pau Monné 
272*3a9fd824SRoger Pau Monné     /* Return address and mode */
273*3a9fd824SRoger Pau Monné     __DECL_REG(pc64,         pc32);             /* ELR_EL2 */
274*3a9fd824SRoger Pau Monné     uint64_t cpsr;                              /* SPSR_EL2 */
275*3a9fd824SRoger Pau Monné 
276*3a9fd824SRoger Pau Monné     union {
277*3a9fd824SRoger Pau Monné         uint64_t spsr_el1;       /* AArch64 */
278*3a9fd824SRoger Pau Monné         uint32_t spsr_svc;       /* AArch32 */
279*3a9fd824SRoger Pau Monné     };
280*3a9fd824SRoger Pau Monné 
281*3a9fd824SRoger Pau Monné     /* AArch32 guests only */
282*3a9fd824SRoger Pau Monné     uint32_t spsr_fiq, spsr_irq, spsr_und, spsr_abt;
283*3a9fd824SRoger Pau Monné 
284*3a9fd824SRoger Pau Monné     /* AArch64 guests only */
285*3a9fd824SRoger Pau Monné     uint64_t sp_el0;
286*3a9fd824SRoger Pau Monné     uint64_t sp_el1, elr_el1;
287*3a9fd824SRoger Pau Monné };
288*3a9fd824SRoger Pau Monné typedef struct vcpu_guest_core_regs vcpu_guest_core_regs_t;
289*3a9fd824SRoger Pau Monné DEFINE_XEN_GUEST_HANDLE(vcpu_guest_core_regs_t);
290*3a9fd824SRoger Pau Monné 
291*3a9fd824SRoger Pau Monné #undef __DECL_REG
292*3a9fd824SRoger Pau Monné 
293*3a9fd824SRoger Pau Monné struct vcpu_guest_context {
294*3a9fd824SRoger Pau Monné #define _VGCF_online                   0
295*3a9fd824SRoger Pau Monné #define VGCF_online                    (1<<_VGCF_online)
296*3a9fd824SRoger Pau Monné     uint32_t flags;                         /* VGCF_* */
297*3a9fd824SRoger Pau Monné 
298*3a9fd824SRoger Pau Monné     struct vcpu_guest_core_regs user_regs;  /* Core CPU registers */
299*3a9fd824SRoger Pau Monné 
300*3a9fd824SRoger Pau Monné     uint64_t sctlr;
301*3a9fd824SRoger Pau Monné     uint64_t ttbcr, ttbr0, ttbr1;
302*3a9fd824SRoger Pau Monné };
303*3a9fd824SRoger Pau Monné typedef struct vcpu_guest_context vcpu_guest_context_t;
304*3a9fd824SRoger Pau Monné DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
305*3a9fd824SRoger Pau Monné 
306*3a9fd824SRoger Pau Monné /*
307*3a9fd824SRoger Pau Monné  * struct xen_arch_domainconfig's ABI is covered by
308*3a9fd824SRoger Pau Monné  * XEN_DOMCTL_INTERFACE_VERSION.
309*3a9fd824SRoger Pau Monné  */
310*3a9fd824SRoger Pau Monné #define XEN_DOMCTL_CONFIG_GIC_NATIVE    0
311*3a9fd824SRoger Pau Monné #define XEN_DOMCTL_CONFIG_GIC_V2        1
312*3a9fd824SRoger Pau Monné #define XEN_DOMCTL_CONFIG_GIC_V3        2
313*3a9fd824SRoger Pau Monné 
314*3a9fd824SRoger Pau Monné #define XEN_DOMCTL_CONFIG_TEE_NONE      0
315*3a9fd824SRoger Pau Monné #define XEN_DOMCTL_CONFIG_TEE_OPTEE     1
316*3a9fd824SRoger Pau Monné 
317*3a9fd824SRoger Pau Monné struct xen_arch_domainconfig {
318*3a9fd824SRoger Pau Monné     /* IN/OUT */
319*3a9fd824SRoger Pau Monné     uint8_t gic_version;
320*3a9fd824SRoger Pau Monné     /* IN */
321*3a9fd824SRoger Pau Monné     uint16_t tee_type;
322*3a9fd824SRoger Pau Monné     /* IN */
323*3a9fd824SRoger Pau Monné     uint32_t nr_spis;
324*3a9fd824SRoger Pau Monné     /*
325*3a9fd824SRoger Pau Monné      * OUT
326*3a9fd824SRoger Pau Monné      * Based on the property clock-frequency in the DT timer node.
327*3a9fd824SRoger Pau Monné      * The property may be present when the bootloader/firmware doesn't
328*3a9fd824SRoger Pau Monné      * set correctly CNTFRQ which hold the timer frequency.
329*3a9fd824SRoger Pau Monné      *
330*3a9fd824SRoger Pau Monné      * As it's not possible to trap this register, we have to replicate
331*3a9fd824SRoger Pau Monné      * the value in the guest DT.
332*3a9fd824SRoger Pau Monné      *
333*3a9fd824SRoger Pau Monné      * = 0 => property not present
334*3a9fd824SRoger Pau Monné      * > 0 => Value of the property
335*3a9fd824SRoger Pau Monné      *
336*3a9fd824SRoger Pau Monné      */
337*3a9fd824SRoger Pau Monné     uint32_t clock_frequency;
338*3a9fd824SRoger Pau Monné };
339*3a9fd824SRoger Pau Monné #endif /* __XEN__ || __XEN_TOOLS__ */
340*3a9fd824SRoger Pau Monné 
341*3a9fd824SRoger Pau Monné struct arch_vcpu_info {
342*3a9fd824SRoger Pau Monné };
343*3a9fd824SRoger Pau Monné typedef struct arch_vcpu_info arch_vcpu_info_t;
344*3a9fd824SRoger Pau Monné 
345*3a9fd824SRoger Pau Monné struct arch_shared_info {
346*3a9fd824SRoger Pau Monné };
347*3a9fd824SRoger Pau Monné typedef struct arch_shared_info arch_shared_info_t;
348*3a9fd824SRoger Pau Monné typedef uint64_t xen_callback_t;
349*3a9fd824SRoger Pau Monné 
350*3a9fd824SRoger Pau Monné #endif
351*3a9fd824SRoger Pau Monné 
352*3a9fd824SRoger Pau Monné #if defined(__XEN__) || defined(__XEN_TOOLS__)
353*3a9fd824SRoger Pau Monné 
354*3a9fd824SRoger Pau Monné /* PSR bits (CPSR, SPSR) */
355*3a9fd824SRoger Pau Monné 
356*3a9fd824SRoger Pau Monné #define PSR_THUMB       (1<<5)        /* Thumb Mode enable */
357*3a9fd824SRoger Pau Monné #define PSR_FIQ_MASK    (1<<6)        /* Fast Interrupt mask */
358*3a9fd824SRoger Pau Monné #define PSR_IRQ_MASK    (1<<7)        /* Interrupt mask */
359*3a9fd824SRoger Pau Monné #define PSR_ABT_MASK    (1<<8)        /* Asynchronous Abort mask */
360*3a9fd824SRoger Pau Monné #define PSR_BIG_ENDIAN  (1<<9)        /* arm32: Big Endian Mode */
361*3a9fd824SRoger Pau Monné #define PSR_DBG_MASK    (1<<9)        /* arm64: Debug Exception mask */
362*3a9fd824SRoger Pau Monné #define PSR_IT_MASK     (0x0600fc00)  /* Thumb If-Then Mask */
363*3a9fd824SRoger Pau Monné #define PSR_JAZELLE     (1<<24)       /* Jazelle Mode */
364*3a9fd824SRoger Pau Monné 
365*3a9fd824SRoger Pau Monné /* 32 bit modes */
366*3a9fd824SRoger Pau Monné #define PSR_MODE_USR 0x10
367*3a9fd824SRoger Pau Monné #define PSR_MODE_FIQ 0x11
368*3a9fd824SRoger Pau Monné #define PSR_MODE_IRQ 0x12
369*3a9fd824SRoger Pau Monné #define PSR_MODE_SVC 0x13
370*3a9fd824SRoger Pau Monné #define PSR_MODE_MON 0x16
371*3a9fd824SRoger Pau Monné #define PSR_MODE_ABT 0x17
372*3a9fd824SRoger Pau Monné #define PSR_MODE_HYP 0x1a
373*3a9fd824SRoger Pau Monné #define PSR_MODE_UND 0x1b
374*3a9fd824SRoger Pau Monné #define PSR_MODE_SYS 0x1f
375*3a9fd824SRoger Pau Monné 
376*3a9fd824SRoger Pau Monné /* 64 bit modes */
377*3a9fd824SRoger Pau Monné #define PSR_MODE_BIT  0x10 /* Set iff AArch32 */
378*3a9fd824SRoger Pau Monné #define PSR_MODE_EL3h 0x0d
379*3a9fd824SRoger Pau Monné #define PSR_MODE_EL3t 0x0c
380*3a9fd824SRoger Pau Monné #define PSR_MODE_EL2h 0x09
381*3a9fd824SRoger Pau Monné #define PSR_MODE_EL2t 0x08
382*3a9fd824SRoger Pau Monné #define PSR_MODE_EL1h 0x05
383*3a9fd824SRoger Pau Monné #define PSR_MODE_EL1t 0x04
384*3a9fd824SRoger Pau Monné #define PSR_MODE_EL0t 0x00
385*3a9fd824SRoger Pau Monné 
386*3a9fd824SRoger Pau Monné #define PSR_GUEST32_INIT  (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_SVC)
387*3a9fd824SRoger Pau Monné #define PSR_GUEST64_INIT (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_EL1h)
388*3a9fd824SRoger Pau Monné 
389*3a9fd824SRoger Pau Monné #define SCTLR_GUEST_INIT    xen_mk_ullong(0x00c50078)
390*3a9fd824SRoger Pau Monné 
391*3a9fd824SRoger Pau Monné /*
392*3a9fd824SRoger Pau Monné  * Virtual machine platform (memory layout, interrupts)
393*3a9fd824SRoger Pau Monné  *
394*3a9fd824SRoger Pau Monné  * These are defined for consistency between the tools and the
395*3a9fd824SRoger Pau Monné  * hypervisor. Guests must not rely on these hardcoded values but
396*3a9fd824SRoger Pau Monné  * should instead use the FDT.
397*3a9fd824SRoger Pau Monné  */
398*3a9fd824SRoger Pau Monné 
399*3a9fd824SRoger Pau Monné /* Physical Address Space */
400*3a9fd824SRoger Pau Monné 
401*3a9fd824SRoger Pau Monné /*
402*3a9fd824SRoger Pau Monné  * vGIC mappings: Only one set of mapping is used by the guest.
403*3a9fd824SRoger Pau Monné  * Therefore they can overlap.
404*3a9fd824SRoger Pau Monné  */
405*3a9fd824SRoger Pau Monné 
406*3a9fd824SRoger Pau Monné /* vGIC v2 mappings */
407*3a9fd824SRoger Pau Monné #define GUEST_GICD_BASE   xen_mk_ullong(0x03001000)
408*3a9fd824SRoger Pau Monné #define GUEST_GICD_SIZE   xen_mk_ullong(0x00001000)
409*3a9fd824SRoger Pau Monné #define GUEST_GICC_BASE   xen_mk_ullong(0x03002000)
410*3a9fd824SRoger Pau Monné #define GUEST_GICC_SIZE   xen_mk_ullong(0x00002000)
411*3a9fd824SRoger Pau Monné 
412*3a9fd824SRoger Pau Monné /* vGIC v3 mappings */
413*3a9fd824SRoger Pau Monné #define GUEST_GICV3_GICD_BASE      xen_mk_ullong(0x03001000)
414*3a9fd824SRoger Pau Monné #define GUEST_GICV3_GICD_SIZE      xen_mk_ullong(0x00010000)
415*3a9fd824SRoger Pau Monné 
416*3a9fd824SRoger Pau Monné #define GUEST_GICV3_RDIST_REGIONS  1
417*3a9fd824SRoger Pau Monné 
418*3a9fd824SRoger Pau Monné #define GUEST_GICV3_GICR0_BASE     xen_mk_ullong(0x03020000) /* vCPU0..127 */
419*3a9fd824SRoger Pau Monné #define GUEST_GICV3_GICR0_SIZE     xen_mk_ullong(0x01000000)
420*3a9fd824SRoger Pau Monné 
421*3a9fd824SRoger Pau Monné /*
422*3a9fd824SRoger Pau Monné  * 256 MB is reserved for VPCI configuration space based on calculation
423*3a9fd824SRoger Pau Monné  * 256 buses x 32 devices x 8 functions x 4 KB = 256 MB
424*3a9fd824SRoger Pau Monné  */
425*3a9fd824SRoger Pau Monné #define GUEST_VPCI_ECAM_BASE    xen_mk_ullong(0x10000000)
426*3a9fd824SRoger Pau Monné #define GUEST_VPCI_ECAM_SIZE    xen_mk_ullong(0x10000000)
427*3a9fd824SRoger Pau Monné 
428*3a9fd824SRoger Pau Monné /* ACPI tables physical address */
429*3a9fd824SRoger Pau Monné #define GUEST_ACPI_BASE xen_mk_ullong(0x20000000)
430*3a9fd824SRoger Pau Monné #define GUEST_ACPI_SIZE xen_mk_ullong(0x02000000)
431*3a9fd824SRoger Pau Monné 
432*3a9fd824SRoger Pau Monné /* PL011 mappings */
433*3a9fd824SRoger Pau Monné #define GUEST_PL011_BASE    xen_mk_ullong(0x22000000)
434*3a9fd824SRoger Pau Monné #define GUEST_PL011_SIZE    xen_mk_ullong(0x00001000)
435*3a9fd824SRoger Pau Monné 
436*3a9fd824SRoger Pau Monné /* Guest PCI-PCIe memory space where config space and BAR will be available.*/
437*3a9fd824SRoger Pau Monné #define GUEST_VPCI_ADDR_TYPE_MEM            xen_mk_ullong(0x02000000)
438*3a9fd824SRoger Pau Monné #define GUEST_VPCI_MEM_ADDR                 xen_mk_ullong(0x23000000)
439*3a9fd824SRoger Pau Monné #define GUEST_VPCI_MEM_SIZE                 xen_mk_ullong(0x10000000)
440*3a9fd824SRoger Pau Monné 
441*3a9fd824SRoger Pau Monné /*
442*3a9fd824SRoger Pau Monné  * 16MB == 4096 pages reserved for guest to use as a region to map its
443*3a9fd824SRoger Pau Monné  * grant table in.
444*3a9fd824SRoger Pau Monné  */
445*3a9fd824SRoger Pau Monné #define GUEST_GNTTAB_BASE xen_mk_ullong(0x38000000)
446*3a9fd824SRoger Pau Monné #define GUEST_GNTTAB_SIZE xen_mk_ullong(0x01000000)
447*3a9fd824SRoger Pau Monné 
448*3a9fd824SRoger Pau Monné #define GUEST_MAGIC_BASE  xen_mk_ullong(0x39000000)
449*3a9fd824SRoger Pau Monné #define GUEST_MAGIC_SIZE  xen_mk_ullong(0x01000000)
450*3a9fd824SRoger Pau Monné 
451*3a9fd824SRoger Pau Monné #define GUEST_RAM_BANKS   2
452*3a9fd824SRoger Pau Monné 
453*3a9fd824SRoger Pau Monné /*
454*3a9fd824SRoger Pau Monné  * The way to find the extended regions (to be exposed to the guest as unused
455*3a9fd824SRoger Pau Monné  * address space) relies on the fact that the regions reserved for the RAM
456*3a9fd824SRoger Pau Monné  * below are big enough to also accommodate such regions.
457*3a9fd824SRoger Pau Monné  */
458*3a9fd824SRoger Pau Monné #define GUEST_RAM0_BASE   xen_mk_ullong(0x40000000) /* 3GB of low RAM @ 1GB */
459*3a9fd824SRoger Pau Monné #define GUEST_RAM0_SIZE   xen_mk_ullong(0xc0000000)
460*3a9fd824SRoger Pau Monné 
461*3a9fd824SRoger Pau Monné /* 4GB @ 4GB Prefetch Memory for VPCI */
462*3a9fd824SRoger Pau Monné #define GUEST_VPCI_ADDR_TYPE_PREFETCH_MEM   xen_mk_ullong(0x42000000)
463*3a9fd824SRoger Pau Monné #define GUEST_VPCI_PREFETCH_MEM_ADDR        xen_mk_ullong(0x100000000)
464*3a9fd824SRoger Pau Monné #define GUEST_VPCI_PREFETCH_MEM_SIZE        xen_mk_ullong(0x100000000)
465*3a9fd824SRoger Pau Monné 
466*3a9fd824SRoger Pau Monné #define GUEST_RAM1_BASE   xen_mk_ullong(0x0200000000) /* 1016GB of RAM @ 8GB */
467*3a9fd824SRoger Pau Monné #define GUEST_RAM1_SIZE   xen_mk_ullong(0xfe00000000)
468*3a9fd824SRoger Pau Monné 
469*3a9fd824SRoger Pau Monné #define GUEST_RAM_BASE    GUEST_RAM0_BASE /* Lowest RAM address */
470*3a9fd824SRoger Pau Monné /* Largest amount of actual RAM, not including holes */
471*3a9fd824SRoger Pau Monné #define GUEST_RAM_MAX     (GUEST_RAM0_SIZE + GUEST_RAM1_SIZE)
472*3a9fd824SRoger Pau Monné /* Suitable for e.g. const uint64_t ramfoo[] = GUEST_RAM_BANK_FOOS; */
473*3a9fd824SRoger Pau Monné #define GUEST_RAM_BANK_BASES   { GUEST_RAM0_BASE, GUEST_RAM1_BASE }
474*3a9fd824SRoger Pau Monné #define GUEST_RAM_BANK_SIZES   { GUEST_RAM0_SIZE, GUEST_RAM1_SIZE }
475*3a9fd824SRoger Pau Monné 
476*3a9fd824SRoger Pau Monné /* Current supported guest VCPUs */
477*3a9fd824SRoger Pau Monné #define GUEST_MAX_VCPUS 128
478*3a9fd824SRoger Pau Monné 
479*3a9fd824SRoger Pau Monné /* Interrupts */
480*3a9fd824SRoger Pau Monné #define GUEST_TIMER_VIRT_PPI    27
481*3a9fd824SRoger Pau Monné #define GUEST_TIMER_PHYS_S_PPI  29
482*3a9fd824SRoger Pau Monné #define GUEST_TIMER_PHYS_NS_PPI 30
483*3a9fd824SRoger Pau Monné #define GUEST_EVTCHN_PPI        31
484*3a9fd824SRoger Pau Monné 
485*3a9fd824SRoger Pau Monné #define GUEST_VPL011_SPI        32
486*3a9fd824SRoger Pau Monné 
487*3a9fd824SRoger Pau Monné /* PSCI functions */
488*3a9fd824SRoger Pau Monné #define PSCI_cpu_suspend 0
489*3a9fd824SRoger Pau Monné #define PSCI_cpu_off     1
490*3a9fd824SRoger Pau Monné #define PSCI_cpu_on      2
491*3a9fd824SRoger Pau Monné #define PSCI_migrate     3
492*3a9fd824SRoger Pau Monné 
493*3a9fd824SRoger Pau Monné #endif
494*3a9fd824SRoger Pau Monné 
495*3a9fd824SRoger Pau Monné #ifndef __ASSEMBLY__
496*3a9fd824SRoger Pau Monné /* Stub definition of PMU structure */
497*3a9fd824SRoger Pau Monné typedef struct xen_pmu_arch { uint8_t dummy; } xen_pmu_arch_t;
498*3a9fd824SRoger Pau Monné #endif
499*3a9fd824SRoger Pau Monné 
500*3a9fd824SRoger Pau Monné #endif /*  __XEN_PUBLIC_ARCH_ARM_H__ */
501*3a9fd824SRoger Pau Monné 
502*3a9fd824SRoger Pau Monné /*
503*3a9fd824SRoger Pau Monné  * Local variables:
504*3a9fd824SRoger Pau Monné  * mode: C
505*3a9fd824SRoger Pau Monné  * c-file-style: "BSD"
506*3a9fd824SRoger Pau Monné  * c-basic-offset: 4
507*3a9fd824SRoger Pau Monné  * tab-width: 4
508*3a9fd824SRoger Pau Monné  * indent-tabs-mode: nil
509*3a9fd824SRoger Pau Monné  * End:
510*3a9fd824SRoger Pau Monné  */
511