]> CyberLeo.Net >> Repos - FreeBSD/releng/10.0.git/blob - sys/xen/interface/arch-powerpc.h
- Copy stable/10 (r259064) to releng/10.0 as part of the
[FreeBSD/releng/10.0.git] / sys / xen / interface / arch-powerpc.h
1 /*
2  * Permission is hereby granted, free of charge, to any person obtaining a copy
3  * of this software and associated documentation files (the "Software"), to
4  * deal in the Software without restriction, including without limitation the
5  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
6  * sell copies of the Software, and to permit persons to whom the Software is
7  * furnished to do so, subject to the following conditions:
8  *
9  * The above copyright notice and this permission notice shall be included in
10  * all copies or substantial portions of the Software.
11  *
12  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
13  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
14  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
15  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
16  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
17  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
18  * DEALINGS IN THE SOFTWARE.
19  *
20  * Copyright (C) IBM Corp. 2005, 2006
21  *
22  * Authors: Hollis Blanchard <hollisb@us.ibm.com>
23  */
24
25 #include "xen.h"
26
27 #ifndef __XEN_PUBLIC_ARCH_PPC_64_H__
28 #define __XEN_PUBLIC_ARCH_PPC_64_H__
29
30 #define ___DEFINE_XEN_GUEST_HANDLE(name, type) \
31     typedef struct { \
32         int __pad[(sizeof (long long) - sizeof (void *)) / sizeof (int)]; \
33         type *p; \
34     } __attribute__((__aligned__(8))) __guest_handle_ ## name
35
36 #define __DEFINE_XEN_GUEST_HANDLE(name, type) \
37     ___DEFINE_XEN_GUEST_HANDLE(name, type);   \
38     ___DEFINE_XEN_GUEST_HANDLE(const_##name, const type)
39 #define DEFINE_XEN_GUEST_HANDLE(name) __DEFINE_XEN_GUEST_HANDLE(name, name)
40 #define XEN_GUEST_HANDLE(name)        __guest_handle_ ## name
41 #define set_xen_guest_handle(hnd, val) \
42     do { \
43         if (sizeof ((hnd).__pad)) \
44             (hnd).__pad[0] = 0; \
45         (hnd).p = val; \
46     } while (0)
47
48 #ifdef __XEN_TOOLS__
49 #define get_xen_guest_handle(val, hnd)  do { val = (hnd).p; } while (0)
50 #endif
51
52 #ifndef __ASSEMBLY__
53 typedef unsigned long long xen_pfn_t;
54 #define PRI_xen_pfn "llx"
55 #endif
56
57 /*
58  * Pointers and other address fields inside interface structures are padded to
59  * 64 bits. This means that field alignments aren't different between 32- and
60  * 64-bit architectures. 
61  */
62 /* NB. Multi-level macro ensures __LINE__ is expanded before concatenation. */
63 #define __MEMORY_PADDING(_X)
64 #define _MEMORY_PADDING(_X)  __MEMORY_PADDING(_X)
65 #define MEMORY_PADDING       _MEMORY_PADDING(__LINE__)
66
67 /* And the trap vector is... */
68 #define TRAP_INSTR "li 0,-1; sc" /* XXX just "sc"? */
69
70 #ifndef __ASSEMBLY__
71
72 #define XENCOMM_INLINE_FLAG (1UL << 63)
73
74 typedef uint64_t xen_ulong_t;
75
76 /* User-accessible registers: nost of these need to be saved/restored
77  * for every nested Xen invocation. */
78 struct cpu_user_regs
79 {
80     uint64_t gprs[32];
81     uint64_t lr;
82     uint64_t ctr;
83     uint64_t srr0;
84     uint64_t srr1;
85     uint64_t pc;
86     uint64_t msr;
87     uint64_t fpscr;             /* XXX Is this necessary */
88     uint64_t xer;
89     uint64_t hid4;              /* debug only */
90     uint64_t dar;               /* debug only */
91     uint32_t dsisr;             /* debug only */
92     uint32_t cr;
93     uint32_t __pad;             /* good spot for another 32bit reg */
94     uint32_t entry_vector;
95 };
96 typedef struct cpu_user_regs cpu_user_regs_t;
97
98 typedef uint64_t tsc_timestamp_t; /* RDTSC timestamp */ /* XXX timebase */
99
100 /* ONLY used to communicate with dom0! See also struct exec_domain. */
101 struct vcpu_guest_context {
102     cpu_user_regs_t user_regs;         /* User-level CPU registers     */
103     uint64_t sdr1;                     /* Pagetable base               */
104     /* XXX etc */
105 };
106 typedef struct vcpu_guest_context vcpu_guest_context_t;
107 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
108
109 struct arch_shared_info {
110     uint64_t boot_timebase;
111 };
112
113 struct arch_vcpu_info {
114 };
115
116 /* Support for multi-processor guests. */
117 #define MAX_VIRT_CPUS 32
118 #endif
119
120 #endif