There's already a partial set here; update them and pull in a more
complete set.
To start with, define __XEN_TOOLS__ in hw/xen/xen.h to ensure that any
internal definitions needed by Xen toolstack libraries are present
regardless of the order in which the headers are included. A reckoning
will come later, once we make the PV backends work in emulation and
untangle the headers for Xen-native vs. generic parts.
Signed-off-by: Joao Martins <joao.m.martins@oracle.com>
[dwmw2: Update to Xen public headers from 4.16.2 release, add some in io/,
        define __XEN_TOOLS__ in hw/xen/xen.h, move to hw/xen/interface/]
Signed-off-by: David Woodhouse <dwmw@amazon.co.uk>
Reviewed-by: Paul Durrant <paul@xen.org>
		
	
			
		
			
				
	
	
		
			511 lines
		
	
	
		
			17 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			511 lines
		
	
	
		
			17 KiB
		
	
	
	
		
			C
		
	
	
	
	
	
/******************************************************************************
 | 
						|
 * arch-arm.h
 | 
						|
 *
 | 
						|
 * Guest OS interface to ARM Xen.
 | 
						|
 *
 | 
						|
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 | 
						|
 * of this software and associated documentation files (the "Software"), to
 | 
						|
 * deal in the Software without restriction, including without limitation the
 | 
						|
 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
 | 
						|
 * sell copies of the Software, and to permit persons to whom the Software is
 | 
						|
 * furnished to do so, subject to the following conditions:
 | 
						|
 *
 | 
						|
 * The above copyright notice and this permission notice shall be included in
 | 
						|
 * all copies or substantial portions of the Software.
 | 
						|
 *
 | 
						|
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 | 
						|
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 | 
						|
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 | 
						|
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 | 
						|
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
 | 
						|
 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 | 
						|
 * DEALINGS IN THE SOFTWARE.
 | 
						|
 *
 | 
						|
 * Copyright 2011 (C) Citrix Systems
 | 
						|
 */
 | 
						|
 | 
						|
#ifndef __XEN_PUBLIC_ARCH_ARM_H__
 | 
						|
#define __XEN_PUBLIC_ARCH_ARM_H__
 | 
						|
 | 
						|
/*
 | 
						|
 * `incontents 50 arm_abi Hypercall Calling Convention
 | 
						|
 *
 | 
						|
 * A hypercall is issued using the ARM HVC instruction.
 | 
						|
 *
 | 
						|
 * A hypercall can take up to 5 arguments. These are passed in
 | 
						|
 * registers, the first argument in x0/r0 (for arm64/arm32 guests
 | 
						|
 * respectively irrespective of whether the underlying hypervisor is
 | 
						|
 * 32- or 64-bit), the second argument in x1/r1, the third in x2/r2,
 | 
						|
 * the forth in x3/r3 and the fifth in x4/r4.
 | 
						|
 *
 | 
						|
 * The hypercall number is passed in r12 (arm) or x16 (arm64). In both
 | 
						|
 * cases the relevant ARM procedure calling convention specifies this
 | 
						|
 * is an inter-procedure-call scratch register (e.g. for use in linker
 | 
						|
 * stubs). This use does not conflict with use during a hypercall.
 | 
						|
 *
 | 
						|
 * The HVC ISS must contain a Xen specific TAG: XEN_HYPERCALL_TAG.
 | 
						|
 *
 | 
						|
 * The return value is in x0/r0.
 | 
						|
 *
 | 
						|
 * The hypercall will clobber x16/r12 and the argument registers used
 | 
						|
 * by that hypercall (except r0 which is the return value) i.e. in
 | 
						|
 * addition to x16/r12 a 2 argument hypercall will clobber x1/r1 and a
 | 
						|
 * 4 argument hypercall will clobber x1/r1, x2/r2 and x3/r3.
 | 
						|
 *
 | 
						|
 * Parameter structs passed to hypercalls are laid out according to
 | 
						|
 * the Procedure Call Standard for the ARM Architecture (AAPCS, AKA
 | 
						|
 * EABI) and Procedure Call Standard for the ARM 64-bit Architecture
 | 
						|
 * (AAPCS64). Where there is a conflict the 64-bit standard should be
 | 
						|
 * used regardless of guest type. Structures which are passed as
 | 
						|
 * hypercall arguments are always little endian.
 | 
						|
 *
 | 
						|
 * All memory which is shared with other entities in the system
 | 
						|
 * (including the hypervisor and other guests) must reside in memory
 | 
						|
 * which is mapped as Normal Inner Write-Back Outer Write-Back Inner-Shareable.
 | 
						|
 * This applies to:
 | 
						|
 *  - hypercall arguments passed via a pointer to guest memory.
 | 
						|
 *  - memory shared via the grant table mechanism (including PV I/O
 | 
						|
 *    rings etc).
 | 
						|
 *  - memory shared with the hypervisor (struct shared_info, struct
 | 
						|
 *    vcpu_info, the grant table, etc).
 | 
						|
 *
 | 
						|
 * Any cache allocation hints are acceptable.
 | 
						|
 */
 | 
						|
 | 
						|
/*
 | 
						|
 * `incontents 55 arm_hcall Supported Hypercalls
 | 
						|
 *
 | 
						|
 * Xen on ARM makes extensive use of hardware facilities and therefore
 | 
						|
 * only a subset of the potential hypercalls are required.
 | 
						|
 *
 | 
						|
 * Since ARM uses second stage paging any machine/physical addresses
 | 
						|
 * passed to hypercalls are Guest Physical Addresses (Intermediate
 | 
						|
 * Physical Addresses) unless otherwise noted.
 | 
						|
 *
 | 
						|
 * The following hypercalls (and sub operations) are supported on the
 | 
						|
 * ARM platform. Other hypercalls should be considered
 | 
						|
 * unavailable/unsupported.
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_memory_op
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_domctl
 | 
						|
 *   All generic sub-operations, with the exception of:
 | 
						|
 *    * XEN_DOMCTL_irq_permission (not yet implemented)
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_sched_op
 | 
						|
 *   All generic sub-operations, with the exception of:
 | 
						|
 *    * SCHEDOP_block -- prefer wfi hardware instruction
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_console_io
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_xen_version
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_event_channel_op
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_physdev_op
 | 
						|
 *   Exactly these sub-operations are supported:
 | 
						|
 *   PHYSDEVOP_pci_device_add
 | 
						|
 *   PHYSDEVOP_pci_device_remove
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_sysctl
 | 
						|
 *   All generic sub-operations, with the exception of:
 | 
						|
 *    * XEN_SYSCTL_page_offline_op
 | 
						|
 *    * XEN_SYSCTL_get_pmstat
 | 
						|
 *    * XEN_SYSCTL_pm_op
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_hvm_op
 | 
						|
 *   Exactly these sub-operations are supported:
 | 
						|
 *    * HVMOP_set_param
 | 
						|
 *    * HVMOP_get_param
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_grant_table_op
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_vcpu_op
 | 
						|
 *   Exactly these sub-operations are supported:
 | 
						|
 *    * VCPUOP_register_vcpu_info
 | 
						|
 *    * VCPUOP_register_runstate_memory_area
 | 
						|
 *
 | 
						|
 *  HYPERVISOR_argo_op
 | 
						|
 *   All generic sub-operations
 | 
						|
 *
 | 
						|
 * Other notes on the ARM ABI:
 | 
						|
 *
 | 
						|
 * - struct start_info is not exported to ARM guests.
 | 
						|
 *
 | 
						|
 * - struct shared_info is mapped by ARM guests using the
 | 
						|
 *   HYPERVISOR_memory_op sub-op XENMEM_add_to_physmap, passing
 | 
						|
 *   XENMAPSPACE_shared_info as space parameter.
 | 
						|
 *
 | 
						|
 * - All the per-cpu struct vcpu_info are mapped by ARM guests using the
 | 
						|
 *   HYPERVISOR_vcpu_op sub-op VCPUOP_register_vcpu_info, including cpu0
 | 
						|
 *   struct vcpu_info.
 | 
						|
 *
 | 
						|
 * - The grant table is mapped using the HYPERVISOR_memory_op sub-op
 | 
						|
 *   XENMEM_add_to_physmap, passing XENMAPSPACE_grant_table as space
 | 
						|
 *   parameter. The memory range specified under the Xen compatible
 | 
						|
 *   hypervisor node on device tree can be used as target gpfn for the
 | 
						|
 *   mapping.
 | 
						|
 *
 | 
						|
 * - Xenstore is initialized by using the two hvm_params
 | 
						|
 *   HVM_PARAM_STORE_PFN and HVM_PARAM_STORE_EVTCHN. They can be read
 | 
						|
 *   with the HYPERVISOR_hvm_op sub-op HVMOP_get_param.
 | 
						|
 *
 | 
						|
 * - The paravirtualized console is initialized by using the two
 | 
						|
 *   hvm_params HVM_PARAM_CONSOLE_PFN and HVM_PARAM_CONSOLE_EVTCHN. They
 | 
						|
 *   can be read with the HYPERVISOR_hvm_op sub-op HVMOP_get_param.
 | 
						|
 *
 | 
						|
 * - Event channel notifications are delivered using the percpu GIC
 | 
						|
 *   interrupt specified under the Xen compatible hypervisor node on
 | 
						|
 *   device tree.
 | 
						|
 *
 | 
						|
 * - The device tree Xen compatible node is fully described under Linux
 | 
						|
 *   at Documentation/devicetree/bindings/arm/xen.txt.
 | 
						|
 */
 | 
						|
 | 
						|
#define XEN_HYPERCALL_TAG   0XEA1
 | 
						|
 | 
						|
#define  int64_aligned_t  int64_t __attribute__((aligned(8)))
 | 
						|
#define uint64_aligned_t uint64_t __attribute__((aligned(8)))
 | 
						|
 | 
						|
#ifndef __ASSEMBLY__
 | 
						|
#define ___DEFINE_XEN_GUEST_HANDLE(name, type)                  \
 | 
						|
    typedef union { type *p; unsigned long q; }                 \
 | 
						|
        __guest_handle_ ## name;                                \
 | 
						|
    typedef union { type *p; uint64_aligned_t q; }              \
 | 
						|
        __guest_handle_64_ ## name
 | 
						|
 | 
						|
/*
 | 
						|
 * XEN_GUEST_HANDLE represents a guest pointer, when passed as a field
 | 
						|
 * in a struct in memory. On ARM is always 8 bytes sizes and 8 bytes
 | 
						|
 * aligned.
 | 
						|
 * XEN_GUEST_HANDLE_PARAM represents a guest pointer, when passed as an
 | 
						|
 * hypercall argument. It is 4 bytes on aarch32 and 8 bytes on aarch64.
 | 
						|
 */
 | 
						|
#define __DEFINE_XEN_GUEST_HANDLE(name, type) \
 | 
						|
    ___DEFINE_XEN_GUEST_HANDLE(name, type);   \
 | 
						|
    ___DEFINE_XEN_GUEST_HANDLE(const_##name, const type)
 | 
						|
#define DEFINE_XEN_GUEST_HANDLE(name)   __DEFINE_XEN_GUEST_HANDLE(name, name)
 | 
						|
#define __XEN_GUEST_HANDLE(name)        __guest_handle_64_ ## name
 | 
						|
#define XEN_GUEST_HANDLE(name)          __XEN_GUEST_HANDLE(name)
 | 
						|
#define XEN_GUEST_HANDLE_PARAM(name)    __guest_handle_ ## name
 | 
						|
#define set_xen_guest_handle_raw(hnd, val)                  \
 | 
						|
    do {                                                    \
 | 
						|
        __typeof__(&(hnd)) _sxghr_tmp = &(hnd);             \
 | 
						|
        _sxghr_tmp->q = 0;                                  \
 | 
						|
        _sxghr_tmp->p = val;                                \
 | 
						|
    } while ( 0 )
 | 
						|
#define set_xen_guest_handle(hnd, val) set_xen_guest_handle_raw(hnd, val)
 | 
						|
 | 
						|
typedef uint64_t xen_pfn_t;
 | 
						|
#define PRI_xen_pfn PRIx64
 | 
						|
#define PRIu_xen_pfn PRIu64
 | 
						|
 | 
						|
/*
 | 
						|
 * Maximum number of virtual CPUs in legacy multi-processor guests.
 | 
						|
 * Only one. All other VCPUS must use VCPUOP_register_vcpu_info.
 | 
						|
 */
 | 
						|
#define XEN_LEGACY_MAX_VCPUS 1
 | 
						|
 | 
						|
typedef uint64_t xen_ulong_t;
 | 
						|
#define PRI_xen_ulong PRIx64
 | 
						|
 | 
						|
#if defined(__XEN__) || defined(__XEN_TOOLS__)
 | 
						|
#if defined(__GNUC__) && !defined(__STRICT_ANSI__)
 | 
						|
/* Anonymous union includes both 32- and 64-bit names (e.g., r0/x0). */
 | 
						|
# define __DECL_REG(n64, n32) union {          \
 | 
						|
        uint64_t n64;                          \
 | 
						|
        uint32_t n32;                          \
 | 
						|
    }
 | 
						|
#else
 | 
						|
/* Non-gcc sources must always use the proper 64-bit name (e.g., x0). */
 | 
						|
#define __DECL_REG(n64, n32) uint64_t n64
 | 
						|
#endif
 | 
						|
 | 
						|
struct vcpu_guest_core_regs
 | 
						|
{
 | 
						|
    /*         Aarch64       Aarch32 */
 | 
						|
    __DECL_REG(x0,           r0_usr);
 | 
						|
    __DECL_REG(x1,           r1_usr);
 | 
						|
    __DECL_REG(x2,           r2_usr);
 | 
						|
    __DECL_REG(x3,           r3_usr);
 | 
						|
    __DECL_REG(x4,           r4_usr);
 | 
						|
    __DECL_REG(x5,           r5_usr);
 | 
						|
    __DECL_REG(x6,           r6_usr);
 | 
						|
    __DECL_REG(x7,           r7_usr);
 | 
						|
    __DECL_REG(x8,           r8_usr);
 | 
						|
    __DECL_REG(x9,           r9_usr);
 | 
						|
    __DECL_REG(x10,          r10_usr);
 | 
						|
    __DECL_REG(x11,          r11_usr);
 | 
						|
    __DECL_REG(x12,          r12_usr);
 | 
						|
 | 
						|
    __DECL_REG(x13,          sp_usr);
 | 
						|
    __DECL_REG(x14,          lr_usr);
 | 
						|
 | 
						|
    __DECL_REG(x15,          __unused_sp_hyp);
 | 
						|
 | 
						|
    __DECL_REG(x16,          lr_irq);
 | 
						|
    __DECL_REG(x17,          sp_irq);
 | 
						|
 | 
						|
    __DECL_REG(x18,          lr_svc);
 | 
						|
    __DECL_REG(x19,          sp_svc);
 | 
						|
 | 
						|
    __DECL_REG(x20,          lr_abt);
 | 
						|
    __DECL_REG(x21,          sp_abt);
 | 
						|
 | 
						|
    __DECL_REG(x22,          lr_und);
 | 
						|
    __DECL_REG(x23,          sp_und);
 | 
						|
 | 
						|
    __DECL_REG(x24,          r8_fiq);
 | 
						|
    __DECL_REG(x25,          r9_fiq);
 | 
						|
    __DECL_REG(x26,          r10_fiq);
 | 
						|
    __DECL_REG(x27,          r11_fiq);
 | 
						|
    __DECL_REG(x28,          r12_fiq);
 | 
						|
 | 
						|
    __DECL_REG(x29,          sp_fiq);
 | 
						|
    __DECL_REG(x30,          lr_fiq);
 | 
						|
 | 
						|
    /* Return address and mode */
 | 
						|
    __DECL_REG(pc64,         pc32);             /* ELR_EL2 */
 | 
						|
    uint64_t cpsr;                              /* SPSR_EL2 */
 | 
						|
 | 
						|
    union {
 | 
						|
        uint64_t spsr_el1;       /* AArch64 */
 | 
						|
        uint32_t spsr_svc;       /* AArch32 */
 | 
						|
    };
 | 
						|
 | 
						|
    /* AArch32 guests only */
 | 
						|
    uint32_t spsr_fiq, spsr_irq, spsr_und, spsr_abt;
 | 
						|
 | 
						|
    /* AArch64 guests only */
 | 
						|
    uint64_t sp_el0;
 | 
						|
    uint64_t sp_el1, elr_el1;
 | 
						|
};
 | 
						|
typedef struct vcpu_guest_core_regs vcpu_guest_core_regs_t;
 | 
						|
DEFINE_XEN_GUEST_HANDLE(vcpu_guest_core_regs_t);
 | 
						|
 | 
						|
#undef __DECL_REG
 | 
						|
 | 
						|
struct vcpu_guest_context {
 | 
						|
#define _VGCF_online                   0
 | 
						|
#define VGCF_online                    (1<<_VGCF_online)
 | 
						|
    uint32_t flags;                         /* VGCF_* */
 | 
						|
 | 
						|
    struct vcpu_guest_core_regs user_regs;  /* Core CPU registers */
 | 
						|
 | 
						|
    uint64_t sctlr;
 | 
						|
    uint64_t ttbcr, ttbr0, ttbr1;
 | 
						|
};
 | 
						|
typedef struct vcpu_guest_context vcpu_guest_context_t;
 | 
						|
DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
 | 
						|
 | 
						|
/*
 | 
						|
 * struct xen_arch_domainconfig's ABI is covered by
 | 
						|
 * XEN_DOMCTL_INTERFACE_VERSION.
 | 
						|
 */
 | 
						|
#define XEN_DOMCTL_CONFIG_GIC_NATIVE    0
 | 
						|
#define XEN_DOMCTL_CONFIG_GIC_V2        1
 | 
						|
#define XEN_DOMCTL_CONFIG_GIC_V3        2
 | 
						|
 | 
						|
#define XEN_DOMCTL_CONFIG_TEE_NONE      0
 | 
						|
#define XEN_DOMCTL_CONFIG_TEE_OPTEE     1
 | 
						|
 | 
						|
struct xen_arch_domainconfig {
 | 
						|
    /* IN/OUT */
 | 
						|
    uint8_t gic_version;
 | 
						|
    /* IN */
 | 
						|
    uint16_t tee_type;
 | 
						|
    /* IN */
 | 
						|
    uint32_t nr_spis;
 | 
						|
    /*
 | 
						|
     * OUT
 | 
						|
     * Based on the property clock-frequency in the DT timer node.
 | 
						|
     * The property may be present when the bootloader/firmware doesn't
 | 
						|
     * set correctly CNTFRQ which hold the timer frequency.
 | 
						|
     *
 | 
						|
     * As it's not possible to trap this register, we have to replicate
 | 
						|
     * the value in the guest DT.
 | 
						|
     *
 | 
						|
     * = 0 => property not present
 | 
						|
     * > 0 => Value of the property
 | 
						|
     *
 | 
						|
     */
 | 
						|
    uint32_t clock_frequency;
 | 
						|
};
 | 
						|
#endif /* __XEN__ || __XEN_TOOLS__ */
 | 
						|
 | 
						|
struct arch_vcpu_info {
 | 
						|
};
 | 
						|
typedef struct arch_vcpu_info arch_vcpu_info_t;
 | 
						|
 | 
						|
struct arch_shared_info {
 | 
						|
};
 | 
						|
typedef struct arch_shared_info arch_shared_info_t;
 | 
						|
typedef uint64_t xen_callback_t;
 | 
						|
 | 
						|
#endif
 | 
						|
 | 
						|
#if defined(__XEN__) || defined(__XEN_TOOLS__)
 | 
						|
 | 
						|
/* PSR bits (CPSR, SPSR) */
 | 
						|
 | 
						|
#define PSR_THUMB       (1<<5)        /* Thumb Mode enable */
 | 
						|
#define PSR_FIQ_MASK    (1<<6)        /* Fast Interrupt mask */
 | 
						|
#define PSR_IRQ_MASK    (1<<7)        /* Interrupt mask */
 | 
						|
#define PSR_ABT_MASK    (1<<8)        /* Asynchronous Abort mask */
 | 
						|
#define PSR_BIG_ENDIAN  (1<<9)        /* arm32: Big Endian Mode */
 | 
						|
#define PSR_DBG_MASK    (1<<9)        /* arm64: Debug Exception mask */
 | 
						|
#define PSR_IT_MASK     (0x0600fc00)  /* Thumb If-Then Mask */
 | 
						|
#define PSR_JAZELLE     (1<<24)       /* Jazelle Mode */
 | 
						|
 | 
						|
/* 32 bit modes */
 | 
						|
#define PSR_MODE_USR 0x10
 | 
						|
#define PSR_MODE_FIQ 0x11
 | 
						|
#define PSR_MODE_IRQ 0x12
 | 
						|
#define PSR_MODE_SVC 0x13
 | 
						|
#define PSR_MODE_MON 0x16
 | 
						|
#define PSR_MODE_ABT 0x17
 | 
						|
#define PSR_MODE_HYP 0x1a
 | 
						|
#define PSR_MODE_UND 0x1b
 | 
						|
#define PSR_MODE_SYS 0x1f
 | 
						|
 | 
						|
/* 64 bit modes */
 | 
						|
#define PSR_MODE_BIT  0x10 /* Set iff AArch32 */
 | 
						|
#define PSR_MODE_EL3h 0x0d
 | 
						|
#define PSR_MODE_EL3t 0x0c
 | 
						|
#define PSR_MODE_EL2h 0x09
 | 
						|
#define PSR_MODE_EL2t 0x08
 | 
						|
#define PSR_MODE_EL1h 0x05
 | 
						|
#define PSR_MODE_EL1t 0x04
 | 
						|
#define PSR_MODE_EL0t 0x00
 | 
						|
 | 
						|
#define PSR_GUEST32_INIT  (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_SVC)
 | 
						|
#define PSR_GUEST64_INIT (PSR_ABT_MASK|PSR_FIQ_MASK|PSR_IRQ_MASK|PSR_MODE_EL1h)
 | 
						|
 | 
						|
#define SCTLR_GUEST_INIT    xen_mk_ullong(0x00c50078)
 | 
						|
 | 
						|
/*
 | 
						|
 * Virtual machine platform (memory layout, interrupts)
 | 
						|
 *
 | 
						|
 * These are defined for consistency between the tools and the
 | 
						|
 * hypervisor. Guests must not rely on these hardcoded values but
 | 
						|
 * should instead use the FDT.
 | 
						|
 */
 | 
						|
 | 
						|
/* Physical Address Space */
 | 
						|
 | 
						|
/*
 | 
						|
 * vGIC mappings: Only one set of mapping is used by the guest.
 | 
						|
 * Therefore they can overlap.
 | 
						|
 */
 | 
						|
 | 
						|
/* vGIC v2 mappings */
 | 
						|
#define GUEST_GICD_BASE   xen_mk_ullong(0x03001000)
 | 
						|
#define GUEST_GICD_SIZE   xen_mk_ullong(0x00001000)
 | 
						|
#define GUEST_GICC_BASE   xen_mk_ullong(0x03002000)
 | 
						|
#define GUEST_GICC_SIZE   xen_mk_ullong(0x00002000)
 | 
						|
 | 
						|
/* vGIC v3 mappings */
 | 
						|
#define GUEST_GICV3_GICD_BASE      xen_mk_ullong(0x03001000)
 | 
						|
#define GUEST_GICV3_GICD_SIZE      xen_mk_ullong(0x00010000)
 | 
						|
 | 
						|
#define GUEST_GICV3_RDIST_REGIONS  1
 | 
						|
 | 
						|
#define GUEST_GICV3_GICR0_BASE     xen_mk_ullong(0x03020000) /* vCPU0..127 */
 | 
						|
#define GUEST_GICV3_GICR0_SIZE     xen_mk_ullong(0x01000000)
 | 
						|
 | 
						|
/*
 | 
						|
 * 256 MB is reserved for VPCI configuration space based on calculation
 | 
						|
 * 256 buses x 32 devices x 8 functions x 4 KB = 256 MB
 | 
						|
 */
 | 
						|
#define GUEST_VPCI_ECAM_BASE    xen_mk_ullong(0x10000000)
 | 
						|
#define GUEST_VPCI_ECAM_SIZE    xen_mk_ullong(0x10000000)
 | 
						|
 | 
						|
/* ACPI tables physical address */
 | 
						|
#define GUEST_ACPI_BASE xen_mk_ullong(0x20000000)
 | 
						|
#define GUEST_ACPI_SIZE xen_mk_ullong(0x02000000)
 | 
						|
 | 
						|
/* PL011 mappings */
 | 
						|
#define GUEST_PL011_BASE    xen_mk_ullong(0x22000000)
 | 
						|
#define GUEST_PL011_SIZE    xen_mk_ullong(0x00001000)
 | 
						|
 | 
						|
/* Guest PCI-PCIe memory space where config space and BAR will be available.*/
 | 
						|
#define GUEST_VPCI_ADDR_TYPE_MEM            xen_mk_ullong(0x02000000)
 | 
						|
#define GUEST_VPCI_MEM_ADDR                 xen_mk_ullong(0x23000000)
 | 
						|
#define GUEST_VPCI_MEM_SIZE                 xen_mk_ullong(0x10000000)
 | 
						|
 | 
						|
/*
 | 
						|
 * 16MB == 4096 pages reserved for guest to use as a region to map its
 | 
						|
 * grant table in.
 | 
						|
 */
 | 
						|
#define GUEST_GNTTAB_BASE xen_mk_ullong(0x38000000)
 | 
						|
#define GUEST_GNTTAB_SIZE xen_mk_ullong(0x01000000)
 | 
						|
 | 
						|
#define GUEST_MAGIC_BASE  xen_mk_ullong(0x39000000)
 | 
						|
#define GUEST_MAGIC_SIZE  xen_mk_ullong(0x01000000)
 | 
						|
 | 
						|
#define GUEST_RAM_BANKS   2
 | 
						|
 | 
						|
/*
 | 
						|
 * The way to find the extended regions (to be exposed to the guest as unused
 | 
						|
 * address space) relies on the fact that the regions reserved for the RAM
 | 
						|
 * below are big enough to also accommodate such regions.
 | 
						|
 */
 | 
						|
#define GUEST_RAM0_BASE   xen_mk_ullong(0x40000000) /* 3GB of low RAM @ 1GB */
 | 
						|
#define GUEST_RAM0_SIZE   xen_mk_ullong(0xc0000000)
 | 
						|
 | 
						|
/* 4GB @ 4GB Prefetch Memory for VPCI */
 | 
						|
#define GUEST_VPCI_ADDR_TYPE_PREFETCH_MEM   xen_mk_ullong(0x42000000)
 | 
						|
#define GUEST_VPCI_PREFETCH_MEM_ADDR        xen_mk_ullong(0x100000000)
 | 
						|
#define GUEST_VPCI_PREFETCH_MEM_SIZE        xen_mk_ullong(0x100000000)
 | 
						|
 | 
						|
#define GUEST_RAM1_BASE   xen_mk_ullong(0x0200000000) /* 1016GB of RAM @ 8GB */
 | 
						|
#define GUEST_RAM1_SIZE   xen_mk_ullong(0xfe00000000)
 | 
						|
 | 
						|
#define GUEST_RAM_BASE    GUEST_RAM0_BASE /* Lowest RAM address */
 | 
						|
/* Largest amount of actual RAM, not including holes */
 | 
						|
#define GUEST_RAM_MAX     (GUEST_RAM0_SIZE + GUEST_RAM1_SIZE)
 | 
						|
/* Suitable for e.g. const uint64_t ramfoo[] = GUEST_RAM_BANK_FOOS; */
 | 
						|
#define GUEST_RAM_BANK_BASES   { GUEST_RAM0_BASE, GUEST_RAM1_BASE }
 | 
						|
#define GUEST_RAM_BANK_SIZES   { GUEST_RAM0_SIZE, GUEST_RAM1_SIZE }
 | 
						|
 | 
						|
/* Current supported guest VCPUs */
 | 
						|
#define GUEST_MAX_VCPUS 128
 | 
						|
 | 
						|
/* Interrupts */
 | 
						|
#define GUEST_TIMER_VIRT_PPI    27
 | 
						|
#define GUEST_TIMER_PHYS_S_PPI  29
 | 
						|
#define GUEST_TIMER_PHYS_NS_PPI 30
 | 
						|
#define GUEST_EVTCHN_PPI        31
 | 
						|
 | 
						|
#define GUEST_VPL011_SPI        32
 | 
						|
 | 
						|
/* PSCI functions */
 | 
						|
#define PSCI_cpu_suspend 0
 | 
						|
#define PSCI_cpu_off     1
 | 
						|
#define PSCI_cpu_on      2
 | 
						|
#define PSCI_migrate     3
 | 
						|
 | 
						|
#endif
 | 
						|
 | 
						|
#ifndef __ASSEMBLY__
 | 
						|
/* Stub definition of PMU structure */
 | 
						|
typedef struct xen_pmu_arch { uint8_t dummy; } xen_pmu_arch_t;
 | 
						|
#endif
 | 
						|
 | 
						|
#endif /*  __XEN_PUBLIC_ARCH_ARM_H__ */
 | 
						|
 | 
						|
/*
 | 
						|
 * Local variables:
 | 
						|
 * mode: C
 | 
						|
 * c-file-style: "BSD"
 | 
						|
 * c-basic-offset: 4
 | 
						|
 * tab-width: 4
 | 
						|
 * indent-tabs-mode: nil
 | 
						|
 * End:
 | 
						|
 */
 |