xref: /openbmc/qemu/include/hw/xen/xen_native.h (revision 33dab2dda093a330656778c48ce88fb9c446cbf9)
1e2abfe5eSDavid Woodhouse #ifndef QEMU_HW_XEN_NATIVE_H
2e2abfe5eSDavid Woodhouse #define QEMU_HW_XEN_NATIVE_H
3e2abfe5eSDavid Woodhouse 
4e2abfe5eSDavid Woodhouse #ifdef __XEN_INTERFACE_VERSION__
5e2abfe5eSDavid Woodhouse #error In Xen native files, include xen_native.h before other Xen headers
6e2abfe5eSDavid Woodhouse #endif
7e2abfe5eSDavid Woodhouse 
8e2abfe5eSDavid Woodhouse /*
9e2abfe5eSDavid Woodhouse  * If we have new enough libxenctrl then we do not want/need these compat
10e2abfe5eSDavid Woodhouse  * interfaces, despite what the user supplied cflags might say. They
11e2abfe5eSDavid Woodhouse  * must be undefined before including xenctrl.h
12e2abfe5eSDavid Woodhouse  */
13e2abfe5eSDavid Woodhouse #undef XC_WANT_COMPAT_EVTCHN_API
14e2abfe5eSDavid Woodhouse #undef XC_WANT_COMPAT_GNTTAB_API
15e2abfe5eSDavid Woodhouse #undef XC_WANT_COMPAT_MAP_FOREIGN_API
16e2abfe5eSDavid Woodhouse 
17e2abfe5eSDavid Woodhouse #include <xenctrl.h>
18e2abfe5eSDavid Woodhouse #include <xenstore.h>
19e2abfe5eSDavid Woodhouse 
20e2abfe5eSDavid Woodhouse #include "hw/xen/xen.h"
21e2abfe5eSDavid Woodhouse #include "hw/pci/pci_device.h"
22e2abfe5eSDavid Woodhouse #include "hw/xen/trace.h"
23e2abfe5eSDavid Woodhouse 
24e2abfe5eSDavid Woodhouse extern xc_interface *xen_xc;
25e2abfe5eSDavid Woodhouse 
26e2abfe5eSDavid Woodhouse /*
272f20b173SDavid Woodhouse  * We don't support Xen prior to 4.7.1.
28e2abfe5eSDavid Woodhouse  */
29e2abfe5eSDavid Woodhouse 
30e2abfe5eSDavid Woodhouse #include <xenforeignmemory.h>
31e2abfe5eSDavid Woodhouse 
32e2abfe5eSDavid Woodhouse extern xenforeignmemory_handle *xen_fmem;
33e2abfe5eSDavid Woodhouse 
34e2abfe5eSDavid Woodhouse #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 40900
35e2abfe5eSDavid Woodhouse 
36e2abfe5eSDavid Woodhouse typedef xc_interface xendevicemodel_handle;
37e2abfe5eSDavid Woodhouse 
38e2abfe5eSDavid Woodhouse #else /* CONFIG_XEN_CTRL_INTERFACE_VERSION >= 40900 */
39e2abfe5eSDavid Woodhouse 
40e2abfe5eSDavid Woodhouse #undef XC_WANT_COMPAT_DEVICEMODEL_API
41e2abfe5eSDavid Woodhouse #include <xendevicemodel.h>
42e2abfe5eSDavid Woodhouse 
43e2abfe5eSDavid Woodhouse #endif
44e2abfe5eSDavid Woodhouse 
45e2abfe5eSDavid Woodhouse #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 41100
46e2abfe5eSDavid Woodhouse 
xendevicemodel_relocate_memory(xendevicemodel_handle * dmod,domid_t domid,uint32_t size,uint64_t src_gfn,uint64_t dst_gfn)47e2abfe5eSDavid Woodhouse static inline int xendevicemodel_relocate_memory(
48e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint32_t size, uint64_t src_gfn,
49e2abfe5eSDavid Woodhouse     uint64_t dst_gfn)
50e2abfe5eSDavid Woodhouse {
51e2abfe5eSDavid Woodhouse     uint32_t i;
52e2abfe5eSDavid Woodhouse     int rc;
53e2abfe5eSDavid Woodhouse 
54e2abfe5eSDavid Woodhouse     for (i = 0; i < size; i++) {
55e2abfe5eSDavid Woodhouse         unsigned long idx = src_gfn + i;
56e2abfe5eSDavid Woodhouse         xen_pfn_t gpfn = dst_gfn + i;
57e2abfe5eSDavid Woodhouse 
58e2abfe5eSDavid Woodhouse         rc = xc_domain_add_to_physmap(xen_xc, domid, XENMAPSPACE_gmfn, idx,
59e2abfe5eSDavid Woodhouse                                       gpfn);
60e2abfe5eSDavid Woodhouse         if (rc) {
61e2abfe5eSDavid Woodhouse             return rc;
62e2abfe5eSDavid Woodhouse         }
63e2abfe5eSDavid Woodhouse     }
64e2abfe5eSDavid Woodhouse 
65e2abfe5eSDavid Woodhouse     return 0;
66e2abfe5eSDavid Woodhouse }
67e2abfe5eSDavid Woodhouse 
xendevicemodel_pin_memory_cacheattr(xendevicemodel_handle * dmod,domid_t domid,uint64_t start,uint64_t end,uint32_t type)68e2abfe5eSDavid Woodhouse static inline int xendevicemodel_pin_memory_cacheattr(
69e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint64_t start, uint64_t end,
70e2abfe5eSDavid Woodhouse     uint32_t type)
71e2abfe5eSDavid Woodhouse {
72e2abfe5eSDavid Woodhouse     return xc_domain_pin_memory_cacheattr(xen_xc, domid, start, end, type);
73e2abfe5eSDavid Woodhouse }
74e2abfe5eSDavid Woodhouse 
75e2abfe5eSDavid Woodhouse typedef void xenforeignmemory_resource_handle;
76e2abfe5eSDavid Woodhouse 
77e2abfe5eSDavid Woodhouse #define XENMEM_resource_ioreq_server 0
78e2abfe5eSDavid Woodhouse 
79e2abfe5eSDavid Woodhouse #define XENMEM_resource_ioreq_server_frame_bufioreq 0
80e2abfe5eSDavid Woodhouse #define XENMEM_resource_ioreq_server_frame_ioreq(n) (1 + (n))
81e2abfe5eSDavid Woodhouse 
xenforeignmemory_map_resource(xenforeignmemory_handle * fmem,domid_t domid,unsigned int type,unsigned int id,unsigned long frame,unsigned long nr_frames,void ** paddr,int prot,int flags)82e2abfe5eSDavid Woodhouse static inline xenforeignmemory_resource_handle *xenforeignmemory_map_resource(
83e2abfe5eSDavid Woodhouse     xenforeignmemory_handle *fmem, domid_t domid, unsigned int type,
84e2abfe5eSDavid Woodhouse     unsigned int id, unsigned long frame, unsigned long nr_frames,
85e2abfe5eSDavid Woodhouse     void **paddr, int prot, int flags)
86e2abfe5eSDavid Woodhouse {
87e2abfe5eSDavid Woodhouse     errno = EOPNOTSUPP;
88e2abfe5eSDavid Woodhouse     return NULL;
89e2abfe5eSDavid Woodhouse }
90e2abfe5eSDavid Woodhouse 
xenforeignmemory_unmap_resource(xenforeignmemory_handle * fmem,xenforeignmemory_resource_handle * fres)91e2abfe5eSDavid Woodhouse static inline int xenforeignmemory_unmap_resource(
92e2abfe5eSDavid Woodhouse     xenforeignmemory_handle *fmem, xenforeignmemory_resource_handle *fres)
93e2abfe5eSDavid Woodhouse {
94e2abfe5eSDavid Woodhouse     return 0;
95e2abfe5eSDavid Woodhouse }
96e2abfe5eSDavid Woodhouse 
97e2abfe5eSDavid Woodhouse #endif /* CONFIG_XEN_CTRL_INTERFACE_VERSION < 41100 */
98e2abfe5eSDavid Woodhouse 
99e2abfe5eSDavid Woodhouse #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 41000
100e2abfe5eSDavid Woodhouse 
101e2abfe5eSDavid Woodhouse #define XEN_COMPAT_PHYSMAP
xenforeignmemory_map2(xenforeignmemory_handle * h,uint32_t dom,void * addr,int prot,int flags,size_t pages,const xen_pfn_t arr[],int err[])102e2abfe5eSDavid Woodhouse static inline void *xenforeignmemory_map2(xenforeignmemory_handle *h,
103e2abfe5eSDavid Woodhouse                                           uint32_t dom, void *addr,
104e2abfe5eSDavid Woodhouse                                           int prot, int flags, size_t pages,
105e2abfe5eSDavid Woodhouse                                           const xen_pfn_t arr[/*pages*/],
106e2abfe5eSDavid Woodhouse                                           int err[/*pages*/])
107e2abfe5eSDavid Woodhouse {
108e2abfe5eSDavid Woodhouse     assert(addr == NULL && flags == 0);
109e2abfe5eSDavid Woodhouse     return xenforeignmemory_map(h, dom, prot, pages, arr, err);
110e2abfe5eSDavid Woodhouse }
111e2abfe5eSDavid Woodhouse 
xentoolcore_restrict_all(domid_t domid)112e2abfe5eSDavid Woodhouse static inline int xentoolcore_restrict_all(domid_t domid)
113e2abfe5eSDavid Woodhouse {
114e2abfe5eSDavid Woodhouse     errno = ENOTTY;
115e2abfe5eSDavid Woodhouse     return -1;
116e2abfe5eSDavid Woodhouse }
117e2abfe5eSDavid Woodhouse 
xendevicemodel_shutdown(xendevicemodel_handle * dmod,domid_t domid,unsigned int reason)118e2abfe5eSDavid Woodhouse static inline int xendevicemodel_shutdown(xendevicemodel_handle *dmod,
119e2abfe5eSDavid Woodhouse                                           domid_t domid, unsigned int reason)
120e2abfe5eSDavid Woodhouse {
121e2abfe5eSDavid Woodhouse     errno = ENOTTY;
122e2abfe5eSDavid Woodhouse     return -1;
123e2abfe5eSDavid Woodhouse }
124e2abfe5eSDavid Woodhouse 
125e2abfe5eSDavid Woodhouse #else /* CONFIG_XEN_CTRL_INTERFACE_VERSION >= 41000 */
126e2abfe5eSDavid Woodhouse 
127e2abfe5eSDavid Woodhouse #include <xentoolcore.h>
128e2abfe5eSDavid Woodhouse 
129e2abfe5eSDavid Woodhouse #endif
130e2abfe5eSDavid Woodhouse 
131e2abfe5eSDavid Woodhouse #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 40900
132e2abfe5eSDavid Woodhouse 
xendevicemodel_open(struct xentoollog_logger * logger,unsigned int open_flags)133e2abfe5eSDavid Woodhouse static inline xendevicemodel_handle *xendevicemodel_open(
134e2abfe5eSDavid Woodhouse     struct xentoollog_logger *logger, unsigned int open_flags)
135e2abfe5eSDavid Woodhouse {
136e2abfe5eSDavid Woodhouse     return xen_xc;
137e2abfe5eSDavid Woodhouse }
138e2abfe5eSDavid Woodhouse 
xendevicemodel_create_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,int handle_bufioreq,ioservid_t * id)139e2abfe5eSDavid Woodhouse static inline int xendevicemodel_create_ioreq_server(
140e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, int handle_bufioreq,
141e2abfe5eSDavid Woodhouse     ioservid_t *id)
142e2abfe5eSDavid Woodhouse {
143e2abfe5eSDavid Woodhouse     return xc_hvm_create_ioreq_server(dmod, domid, handle_bufioreq,
144e2abfe5eSDavid Woodhouse                                       id);
145e2abfe5eSDavid Woodhouse }
146e2abfe5eSDavid Woodhouse 
xendevicemodel_get_ioreq_server_info(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,xen_pfn_t * ioreq_pfn,xen_pfn_t * bufioreq_pfn,evtchn_port_t * bufioreq_port)147e2abfe5eSDavid Woodhouse static inline int xendevicemodel_get_ioreq_server_info(
148e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,
149e2abfe5eSDavid Woodhouse     xen_pfn_t *ioreq_pfn, xen_pfn_t *bufioreq_pfn,
150e2abfe5eSDavid Woodhouse     evtchn_port_t *bufioreq_port)
151e2abfe5eSDavid Woodhouse {
152e2abfe5eSDavid Woodhouse     return xc_hvm_get_ioreq_server_info(dmod, domid, id, ioreq_pfn,
153e2abfe5eSDavid Woodhouse                                         bufioreq_pfn, bufioreq_port);
154e2abfe5eSDavid Woodhouse }
155e2abfe5eSDavid Woodhouse 
xendevicemodel_map_io_range_to_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,int is_mmio,uint64_t start,uint64_t end)156e2abfe5eSDavid Woodhouse static inline int xendevicemodel_map_io_range_to_ioreq_server(
157e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,
158e2abfe5eSDavid Woodhouse     uint64_t start, uint64_t end)
159e2abfe5eSDavid Woodhouse {
160e2abfe5eSDavid Woodhouse     return xc_hvm_map_io_range_to_ioreq_server(dmod, domid, id, is_mmio,
161e2abfe5eSDavid Woodhouse                                                start, end);
162e2abfe5eSDavid Woodhouse }
163e2abfe5eSDavid Woodhouse 
xendevicemodel_unmap_io_range_from_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,int is_mmio,uint64_t start,uint64_t end)164e2abfe5eSDavid Woodhouse static inline int xendevicemodel_unmap_io_range_from_ioreq_server(
165e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int is_mmio,
166e2abfe5eSDavid Woodhouse     uint64_t start, uint64_t end)
167e2abfe5eSDavid Woodhouse {
168e2abfe5eSDavid Woodhouse     return xc_hvm_unmap_io_range_from_ioreq_server(dmod, domid, id, is_mmio,
169e2abfe5eSDavid Woodhouse                                                    start, end);
170e2abfe5eSDavid Woodhouse }
171e2abfe5eSDavid Woodhouse 
xendevicemodel_map_pcidev_to_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,uint16_t segment,uint8_t bus,uint8_t device,uint8_t function)172e2abfe5eSDavid Woodhouse static inline int xendevicemodel_map_pcidev_to_ioreq_server(
173e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,
174e2abfe5eSDavid Woodhouse     uint16_t segment, uint8_t bus, uint8_t device, uint8_t function)
175e2abfe5eSDavid Woodhouse {
176e2abfe5eSDavid Woodhouse     return xc_hvm_map_pcidev_to_ioreq_server(dmod, domid, id, segment,
177e2abfe5eSDavid Woodhouse                                              bus, device, function);
178e2abfe5eSDavid Woodhouse }
179e2abfe5eSDavid Woodhouse 
xendevicemodel_unmap_pcidev_from_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,uint16_t segment,uint8_t bus,uint8_t device,uint8_t function)180e2abfe5eSDavid Woodhouse static inline int xendevicemodel_unmap_pcidev_from_ioreq_server(
181e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id,
182e2abfe5eSDavid Woodhouse     uint16_t segment, uint8_t bus, uint8_t device, uint8_t function)
183e2abfe5eSDavid Woodhouse {
184e2abfe5eSDavid Woodhouse     return xc_hvm_unmap_pcidev_from_ioreq_server(dmod, domid, id, segment,
185e2abfe5eSDavid Woodhouse                                                  bus, device, function);
186e2abfe5eSDavid Woodhouse }
187e2abfe5eSDavid Woodhouse 
xendevicemodel_destroy_ioreq_server(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id)188e2abfe5eSDavid Woodhouse static inline int xendevicemodel_destroy_ioreq_server(
189e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id)
190e2abfe5eSDavid Woodhouse {
191e2abfe5eSDavid Woodhouse     return xc_hvm_destroy_ioreq_server(dmod, domid, id);
192e2abfe5eSDavid Woodhouse }
193e2abfe5eSDavid Woodhouse 
xendevicemodel_set_ioreq_server_state(xendevicemodel_handle * dmod,domid_t domid,ioservid_t id,int enabled)194e2abfe5eSDavid Woodhouse static inline int xendevicemodel_set_ioreq_server_state(
195e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, ioservid_t id, int enabled)
196e2abfe5eSDavid Woodhouse {
197e2abfe5eSDavid Woodhouse     return xc_hvm_set_ioreq_server_state(dmod, domid, id, enabled);
198e2abfe5eSDavid Woodhouse }
199e2abfe5eSDavid Woodhouse 
xendevicemodel_set_pci_intx_level(xendevicemodel_handle * dmod,domid_t domid,uint16_t segment,uint8_t bus,uint8_t device,uint8_t intx,unsigned int level)200e2abfe5eSDavid Woodhouse static inline int xendevicemodel_set_pci_intx_level(
201e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint16_t segment,
202e2abfe5eSDavid Woodhouse     uint8_t bus, uint8_t device, uint8_t intx, unsigned int level)
203e2abfe5eSDavid Woodhouse {
204e2abfe5eSDavid Woodhouse     return xc_hvm_set_pci_intx_level(dmod, domid, segment, bus, device,
205e2abfe5eSDavid Woodhouse                                      intx, level);
206e2abfe5eSDavid Woodhouse }
207e2abfe5eSDavid Woodhouse 
xendevicemodel_set_isa_irq_level(xendevicemodel_handle * dmod,domid_t domid,uint8_t irq,unsigned int level)208e2abfe5eSDavid Woodhouse static inline int xendevicemodel_set_isa_irq_level(
209e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint8_t irq,
210e2abfe5eSDavid Woodhouse     unsigned int level)
211e2abfe5eSDavid Woodhouse {
212e2abfe5eSDavid Woodhouse     return xc_hvm_set_isa_irq_level(dmod, domid, irq, level);
213e2abfe5eSDavid Woodhouse }
214e2abfe5eSDavid Woodhouse 
xendevicemodel_set_pci_link_route(xendevicemodel_handle * dmod,domid_t domid,uint8_t link,uint8_t irq)215e2abfe5eSDavid Woodhouse static inline int xendevicemodel_set_pci_link_route(
216e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint8_t link, uint8_t irq)
217e2abfe5eSDavid Woodhouse {
218e2abfe5eSDavid Woodhouse     return xc_hvm_set_pci_link_route(dmod, domid, link, irq);
219e2abfe5eSDavid Woodhouse }
220e2abfe5eSDavid Woodhouse 
xendevicemodel_inject_msi(xendevicemodel_handle * dmod,domid_t domid,uint64_t msi_addr,uint32_t msi_data)221e2abfe5eSDavid Woodhouse static inline int xendevicemodel_inject_msi(
222e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint64_t msi_addr,
223e2abfe5eSDavid Woodhouse     uint32_t msi_data)
224e2abfe5eSDavid Woodhouse {
225e2abfe5eSDavid Woodhouse     return xc_hvm_inject_msi(dmod, domid, msi_addr, msi_data);
226e2abfe5eSDavid Woodhouse }
227e2abfe5eSDavid Woodhouse 
xendevicemodel_track_dirty_vram(xendevicemodel_handle * dmod,domid_t domid,uint64_t first_pfn,uint32_t nr,unsigned long * dirty_bitmap)228e2abfe5eSDavid Woodhouse static inline int xendevicemodel_track_dirty_vram(
229e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,
230e2abfe5eSDavid Woodhouse     uint32_t nr, unsigned long *dirty_bitmap)
231e2abfe5eSDavid Woodhouse {
232e2abfe5eSDavid Woodhouse     return xc_hvm_track_dirty_vram(dmod, domid, first_pfn, nr,
233e2abfe5eSDavid Woodhouse                                    dirty_bitmap);
234e2abfe5eSDavid Woodhouse }
235e2abfe5eSDavid Woodhouse 
xendevicemodel_modified_memory(xendevicemodel_handle * dmod,domid_t domid,uint64_t first_pfn,uint32_t nr)236e2abfe5eSDavid Woodhouse static inline int xendevicemodel_modified_memory(
237e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, uint64_t first_pfn,
238e2abfe5eSDavid Woodhouse     uint32_t nr)
239e2abfe5eSDavid Woodhouse {
240e2abfe5eSDavid Woodhouse     return xc_hvm_modified_memory(dmod, domid, first_pfn, nr);
241e2abfe5eSDavid Woodhouse }
242e2abfe5eSDavid Woodhouse 
xendevicemodel_set_mem_type(xendevicemodel_handle * dmod,domid_t domid,hvmmem_type_t mem_type,uint64_t first_pfn,uint32_t nr)243e2abfe5eSDavid Woodhouse static inline int xendevicemodel_set_mem_type(
244e2abfe5eSDavid Woodhouse     xendevicemodel_handle *dmod, domid_t domid, hvmmem_type_t mem_type,
245e2abfe5eSDavid Woodhouse     uint64_t first_pfn, uint32_t nr)
246e2abfe5eSDavid Woodhouse {
247e2abfe5eSDavid Woodhouse     return xc_hvm_set_mem_type(dmod, domid, mem_type, first_pfn, nr);
248e2abfe5eSDavid Woodhouse }
249e2abfe5eSDavid Woodhouse 
250e2abfe5eSDavid Woodhouse #endif
251e2abfe5eSDavid Woodhouse 
252e2abfe5eSDavid Woodhouse extern xendevicemodel_handle *xen_dmod;
253e2abfe5eSDavid Woodhouse 
xen_set_mem_type(domid_t domid,hvmmem_type_t type,uint64_t first_pfn,uint32_t nr)254e2abfe5eSDavid Woodhouse static inline int xen_set_mem_type(domid_t domid, hvmmem_type_t type,
255e2abfe5eSDavid Woodhouse                                    uint64_t first_pfn, uint32_t nr)
256e2abfe5eSDavid Woodhouse {
257e2abfe5eSDavid Woodhouse     return xendevicemodel_set_mem_type(xen_dmod, domid, type, first_pfn,
258e2abfe5eSDavid Woodhouse                                        nr);
259e2abfe5eSDavid Woodhouse }
260e2abfe5eSDavid Woodhouse 
xen_set_pci_intx_level(domid_t domid,uint16_t segment,uint8_t bus,uint8_t device,uint8_t intx,unsigned int level)261e2abfe5eSDavid Woodhouse static inline int xen_set_pci_intx_level(domid_t domid, uint16_t segment,
262e2abfe5eSDavid Woodhouse                                          uint8_t bus, uint8_t device,
263e2abfe5eSDavid Woodhouse                                          uint8_t intx, unsigned int level)
264e2abfe5eSDavid Woodhouse {
265e2abfe5eSDavid Woodhouse     return xendevicemodel_set_pci_intx_level(xen_dmod, domid, segment, bus,
266e2abfe5eSDavid Woodhouse                                              device, intx, level);
267e2abfe5eSDavid Woodhouse }
268e2abfe5eSDavid Woodhouse 
xen_inject_msi(domid_t domid,uint64_t msi_addr,uint32_t msi_data)269e2abfe5eSDavid Woodhouse static inline int xen_inject_msi(domid_t domid, uint64_t msi_addr,
270e2abfe5eSDavid Woodhouse                                  uint32_t msi_data)
271e2abfe5eSDavid Woodhouse {
272e2abfe5eSDavid Woodhouse     return xendevicemodel_inject_msi(xen_dmod, domid, msi_addr, msi_data);
273e2abfe5eSDavid Woodhouse }
274e2abfe5eSDavid Woodhouse 
xen_set_isa_irq_level(domid_t domid,uint8_t irq,unsigned int level)275e2abfe5eSDavid Woodhouse static inline int xen_set_isa_irq_level(domid_t domid, uint8_t irq,
276e2abfe5eSDavid Woodhouse                                         unsigned int level)
277e2abfe5eSDavid Woodhouse {
278e2abfe5eSDavid Woodhouse     return xendevicemodel_set_isa_irq_level(xen_dmod, domid, irq, level);
279e2abfe5eSDavid Woodhouse }
280e2abfe5eSDavid Woodhouse 
xen_track_dirty_vram(domid_t domid,uint64_t first_pfn,uint32_t nr,unsigned long * bitmap)281e2abfe5eSDavid Woodhouse static inline int xen_track_dirty_vram(domid_t domid, uint64_t first_pfn,
282e2abfe5eSDavid Woodhouse                                        uint32_t nr, unsigned long *bitmap)
283e2abfe5eSDavid Woodhouse {
284e2abfe5eSDavid Woodhouse     return xendevicemodel_track_dirty_vram(xen_dmod, domid, first_pfn, nr,
285e2abfe5eSDavid Woodhouse                                            bitmap);
286e2abfe5eSDavid Woodhouse }
287e2abfe5eSDavid Woodhouse 
xen_modified_memory(domid_t domid,uint64_t first_pfn,uint32_t nr)288e2abfe5eSDavid Woodhouse static inline int xen_modified_memory(domid_t domid, uint64_t first_pfn,
289e2abfe5eSDavid Woodhouse                                       uint32_t nr)
290e2abfe5eSDavid Woodhouse {
291e2abfe5eSDavid Woodhouse     return xendevicemodel_modified_memory(xen_dmod, domid, first_pfn, nr);
292e2abfe5eSDavid Woodhouse }
293e2abfe5eSDavid Woodhouse 
xen_restrict(domid_t domid)294e2abfe5eSDavid Woodhouse static inline int xen_restrict(domid_t domid)
295e2abfe5eSDavid Woodhouse {
296e2abfe5eSDavid Woodhouse     int rc;
297e2abfe5eSDavid Woodhouse     rc = xentoolcore_restrict_all(domid);
298e2abfe5eSDavid Woodhouse     trace_xen_domid_restrict(rc ? errno : 0);
299e2abfe5eSDavid Woodhouse     return rc;
300e2abfe5eSDavid Woodhouse }
301e2abfe5eSDavid Woodhouse 
302e2abfe5eSDavid Woodhouse void destroy_hvm_domain(bool reboot);
303e2abfe5eSDavid Woodhouse 
304e2abfe5eSDavid Woodhouse /* shutdown/destroy current domain because of an error */
305e2abfe5eSDavid Woodhouse void xen_shutdown_fatal_error(const char *fmt, ...) G_GNUC_PRINTF(1, 2);
306e2abfe5eSDavid Woodhouse 
307e2abfe5eSDavid Woodhouse #ifdef HVM_PARAM_VMPORT_REGS_PFN
xen_get_vmport_regs_pfn(xc_interface * xc,domid_t dom,xen_pfn_t * vmport_regs_pfn)308e2abfe5eSDavid Woodhouse static inline int xen_get_vmport_regs_pfn(xc_interface *xc, domid_t dom,
309e2abfe5eSDavid Woodhouse                                           xen_pfn_t *vmport_regs_pfn)
310e2abfe5eSDavid Woodhouse {
311e2abfe5eSDavid Woodhouse     int rc;
312e2abfe5eSDavid Woodhouse     uint64_t value;
313e2abfe5eSDavid Woodhouse     rc = xc_hvm_param_get(xc, dom, HVM_PARAM_VMPORT_REGS_PFN, &value);
314e2abfe5eSDavid Woodhouse     if (rc >= 0) {
315e2abfe5eSDavid Woodhouse         *vmport_regs_pfn = (xen_pfn_t) value;
316e2abfe5eSDavid Woodhouse     }
317e2abfe5eSDavid Woodhouse     return rc;
318e2abfe5eSDavid Woodhouse }
319e2abfe5eSDavid Woodhouse #else
xen_get_vmport_regs_pfn(xc_interface * xc,domid_t dom,xen_pfn_t * vmport_regs_pfn)320e2abfe5eSDavid Woodhouse static inline int xen_get_vmport_regs_pfn(xc_interface *xc, domid_t dom,
321e2abfe5eSDavid Woodhouse                                           xen_pfn_t *vmport_regs_pfn)
322e2abfe5eSDavid Woodhouse {
323e2abfe5eSDavid Woodhouse     return -ENOSYS;
324e2abfe5eSDavid Woodhouse }
325e2abfe5eSDavid Woodhouse #endif
326e2abfe5eSDavid Woodhouse 
xen_get_default_ioreq_server_info(domid_t dom,xen_pfn_t * ioreq_pfn,xen_pfn_t * bufioreq_pfn,evtchn_port_t * bufioreq_evtchn)327e2abfe5eSDavid Woodhouse static inline int xen_get_default_ioreq_server_info(domid_t dom,
328e2abfe5eSDavid Woodhouse                                                     xen_pfn_t *ioreq_pfn,
329e2abfe5eSDavid Woodhouse                                                     xen_pfn_t *bufioreq_pfn,
330e2abfe5eSDavid Woodhouse                                                     evtchn_port_t
331e2abfe5eSDavid Woodhouse                                                         *bufioreq_evtchn)
332e2abfe5eSDavid Woodhouse {
333e2abfe5eSDavid Woodhouse     unsigned long param;
334e2abfe5eSDavid Woodhouse     int rc;
335e2abfe5eSDavid Woodhouse 
336e2abfe5eSDavid Woodhouse     rc = xc_get_hvm_param(xen_xc, dom, HVM_PARAM_IOREQ_PFN, &param);
337e2abfe5eSDavid Woodhouse     if (rc < 0) {
338e2abfe5eSDavid Woodhouse         fprintf(stderr, "failed to get HVM_PARAM_IOREQ_PFN\n");
339e2abfe5eSDavid Woodhouse         return -1;
340e2abfe5eSDavid Woodhouse     }
341e2abfe5eSDavid Woodhouse 
342e2abfe5eSDavid Woodhouse     *ioreq_pfn = param;
343e2abfe5eSDavid Woodhouse 
344e2abfe5eSDavid Woodhouse     rc = xc_get_hvm_param(xen_xc, dom, HVM_PARAM_BUFIOREQ_PFN, &param);
345e2abfe5eSDavid Woodhouse     if (rc < 0) {
346e2abfe5eSDavid Woodhouse         fprintf(stderr, "failed to get HVM_PARAM_BUFIOREQ_PFN\n");
347e2abfe5eSDavid Woodhouse         return -1;
348e2abfe5eSDavid Woodhouse     }
349e2abfe5eSDavid Woodhouse 
350e2abfe5eSDavid Woodhouse     *bufioreq_pfn = param;
351e2abfe5eSDavid Woodhouse 
352e2abfe5eSDavid Woodhouse     rc = xc_get_hvm_param(xen_xc, dom, HVM_PARAM_BUFIOREQ_EVTCHN,
353e2abfe5eSDavid Woodhouse                           &param);
354e2abfe5eSDavid Woodhouse     if (rc < 0) {
355e2abfe5eSDavid Woodhouse         fprintf(stderr, "failed to get HVM_PARAM_BUFIOREQ_EVTCHN\n");
356e2abfe5eSDavid Woodhouse         return -1;
357e2abfe5eSDavid Woodhouse     }
358e2abfe5eSDavid Woodhouse 
359e2abfe5eSDavid Woodhouse     *bufioreq_evtchn = param;
360e2abfe5eSDavid Woodhouse 
361e2abfe5eSDavid Woodhouse     return 0;
362e2abfe5eSDavid Woodhouse }
363e2abfe5eSDavid Woodhouse 
364e2abfe5eSDavid Woodhouse static bool use_default_ioreq_server;
365e2abfe5eSDavid Woodhouse 
xen_map_memory_section(domid_t dom,ioservid_t ioservid,MemoryRegionSection * section)366e2abfe5eSDavid Woodhouse static inline void xen_map_memory_section(domid_t dom,
367e2abfe5eSDavid Woodhouse                                           ioservid_t ioservid,
368e2abfe5eSDavid Woodhouse                                           MemoryRegionSection *section)
369e2abfe5eSDavid Woodhouse {
370e2abfe5eSDavid Woodhouse     hwaddr start_addr = section->offset_within_address_space;
371e2abfe5eSDavid Woodhouse     ram_addr_t size = int128_get64(section->size);
372e2abfe5eSDavid Woodhouse     hwaddr end_addr = start_addr + size - 1;
373e2abfe5eSDavid Woodhouse 
374e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
375e2abfe5eSDavid Woodhouse         return;
376e2abfe5eSDavid Woodhouse     }
377e2abfe5eSDavid Woodhouse 
378e2abfe5eSDavid Woodhouse     trace_xen_map_mmio_range(ioservid, start_addr, end_addr);
379e2abfe5eSDavid Woodhouse     xendevicemodel_map_io_range_to_ioreq_server(xen_dmod, dom, ioservid, 1,
380e2abfe5eSDavid Woodhouse                                                 start_addr, end_addr);
381e2abfe5eSDavid Woodhouse }
382e2abfe5eSDavid Woodhouse 
xen_unmap_memory_section(domid_t dom,ioservid_t ioservid,MemoryRegionSection * section)383e2abfe5eSDavid Woodhouse static inline void xen_unmap_memory_section(domid_t dom,
384e2abfe5eSDavid Woodhouse                                             ioservid_t ioservid,
385e2abfe5eSDavid Woodhouse                                             MemoryRegionSection *section)
386e2abfe5eSDavid Woodhouse {
387e2abfe5eSDavid Woodhouse     hwaddr start_addr = section->offset_within_address_space;
388e2abfe5eSDavid Woodhouse     ram_addr_t size = int128_get64(section->size);
389e2abfe5eSDavid Woodhouse     hwaddr end_addr = start_addr + size - 1;
390e2abfe5eSDavid Woodhouse 
391e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
392e2abfe5eSDavid Woodhouse         return;
393e2abfe5eSDavid Woodhouse     }
394e2abfe5eSDavid Woodhouse 
395e2abfe5eSDavid Woodhouse     trace_xen_unmap_mmio_range(ioservid, start_addr, end_addr);
396e2abfe5eSDavid Woodhouse     xendevicemodel_unmap_io_range_from_ioreq_server(xen_dmod, dom, ioservid,
397e2abfe5eSDavid Woodhouse                                                     1, start_addr, end_addr);
398e2abfe5eSDavid Woodhouse }
399e2abfe5eSDavid Woodhouse 
xen_map_io_section(domid_t dom,ioservid_t ioservid,MemoryRegionSection * section)400e2abfe5eSDavid Woodhouse static inline void xen_map_io_section(domid_t dom,
401e2abfe5eSDavid Woodhouse                                       ioservid_t ioservid,
402e2abfe5eSDavid Woodhouse                                       MemoryRegionSection *section)
403e2abfe5eSDavid Woodhouse {
404e2abfe5eSDavid Woodhouse     hwaddr start_addr = section->offset_within_address_space;
405e2abfe5eSDavid Woodhouse     ram_addr_t size = int128_get64(section->size);
406e2abfe5eSDavid Woodhouse     hwaddr end_addr = start_addr + size - 1;
407e2abfe5eSDavid Woodhouse 
408e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
409e2abfe5eSDavid Woodhouse         return;
410e2abfe5eSDavid Woodhouse     }
411e2abfe5eSDavid Woodhouse 
412e2abfe5eSDavid Woodhouse     trace_xen_map_portio_range(ioservid, start_addr, end_addr);
413e2abfe5eSDavid Woodhouse     xendevicemodel_map_io_range_to_ioreq_server(xen_dmod, dom, ioservid, 0,
414e2abfe5eSDavid Woodhouse                                                 start_addr, end_addr);
415e2abfe5eSDavid Woodhouse }
416e2abfe5eSDavid Woodhouse 
xen_unmap_io_section(domid_t dom,ioservid_t ioservid,MemoryRegionSection * section)417e2abfe5eSDavid Woodhouse static inline void xen_unmap_io_section(domid_t dom,
418e2abfe5eSDavid Woodhouse                                         ioservid_t ioservid,
419e2abfe5eSDavid Woodhouse                                         MemoryRegionSection *section)
420e2abfe5eSDavid Woodhouse {
421e2abfe5eSDavid Woodhouse     hwaddr start_addr = section->offset_within_address_space;
422e2abfe5eSDavid Woodhouse     ram_addr_t size = int128_get64(section->size);
423e2abfe5eSDavid Woodhouse     hwaddr end_addr = start_addr + size - 1;
424e2abfe5eSDavid Woodhouse 
425e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
426e2abfe5eSDavid Woodhouse         return;
427e2abfe5eSDavid Woodhouse     }
428e2abfe5eSDavid Woodhouse 
429e2abfe5eSDavid Woodhouse     trace_xen_unmap_portio_range(ioservid, start_addr, end_addr);
430e2abfe5eSDavid Woodhouse     xendevicemodel_unmap_io_range_from_ioreq_server(xen_dmod, dom, ioservid,
431e2abfe5eSDavid Woodhouse                                                     0, start_addr, end_addr);
432e2abfe5eSDavid Woodhouse }
433e2abfe5eSDavid Woodhouse 
xen_map_pcidev(domid_t dom,ioservid_t ioservid,PCIDevice * pci_dev)434e2abfe5eSDavid Woodhouse static inline void xen_map_pcidev(domid_t dom,
435e2abfe5eSDavid Woodhouse                                   ioservid_t ioservid,
436e2abfe5eSDavid Woodhouse                                   PCIDevice *pci_dev)
437e2abfe5eSDavid Woodhouse {
438e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
439e2abfe5eSDavid Woodhouse         return;
440e2abfe5eSDavid Woodhouse     }
441e2abfe5eSDavid Woodhouse 
442e2abfe5eSDavid Woodhouse     trace_xen_map_pcidev(ioservid, pci_dev_bus_num(pci_dev),
443e2abfe5eSDavid Woodhouse                          PCI_SLOT(pci_dev->devfn), PCI_FUNC(pci_dev->devfn));
444e2abfe5eSDavid Woodhouse     xendevicemodel_map_pcidev_to_ioreq_server(xen_dmod, dom, ioservid, 0,
445e2abfe5eSDavid Woodhouse                                               pci_dev_bus_num(pci_dev),
446e2abfe5eSDavid Woodhouse                                               PCI_SLOT(pci_dev->devfn),
447e2abfe5eSDavid Woodhouse                                               PCI_FUNC(pci_dev->devfn));
448e2abfe5eSDavid Woodhouse }
449e2abfe5eSDavid Woodhouse 
xen_unmap_pcidev(domid_t dom,ioservid_t ioservid,PCIDevice * pci_dev)450e2abfe5eSDavid Woodhouse static inline void xen_unmap_pcidev(domid_t dom,
451e2abfe5eSDavid Woodhouse                                     ioservid_t ioservid,
452e2abfe5eSDavid Woodhouse                                     PCIDevice *pci_dev)
453e2abfe5eSDavid Woodhouse {
454e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
455e2abfe5eSDavid Woodhouse         return;
456e2abfe5eSDavid Woodhouse     }
457e2abfe5eSDavid Woodhouse 
458e2abfe5eSDavid Woodhouse     trace_xen_unmap_pcidev(ioservid, pci_dev_bus_num(pci_dev),
459e2abfe5eSDavid Woodhouse                            PCI_SLOT(pci_dev->devfn), PCI_FUNC(pci_dev->devfn));
460e2abfe5eSDavid Woodhouse     xendevicemodel_unmap_pcidev_from_ioreq_server(xen_dmod, dom, ioservid, 0,
461e2abfe5eSDavid Woodhouse                                                   pci_dev_bus_num(pci_dev),
462e2abfe5eSDavid Woodhouse                                                   PCI_SLOT(pci_dev->devfn),
463e2abfe5eSDavid Woodhouse                                                   PCI_FUNC(pci_dev->devfn));
464e2abfe5eSDavid Woodhouse }
465e2abfe5eSDavid Woodhouse 
xen_create_ioreq_server(domid_t dom,int handle_bufioreq,ioservid_t * ioservid)466420927c2SStefano Stabellini static inline int xen_create_ioreq_server(domid_t dom,
467*b2150e40SEdgar E. Iglesias                                           int handle_bufioreq,
468e2abfe5eSDavid Woodhouse                                           ioservid_t *ioservid)
469e2abfe5eSDavid Woodhouse {
470e2abfe5eSDavid Woodhouse     int rc = xendevicemodel_create_ioreq_server(xen_dmod, dom,
471*b2150e40SEdgar E. Iglesias                                                 handle_bufioreq,
472e2abfe5eSDavid Woodhouse                                                 ioservid);
473e2abfe5eSDavid Woodhouse 
474e2abfe5eSDavid Woodhouse     if (rc == 0) {
475e2abfe5eSDavid Woodhouse         trace_xen_ioreq_server_create(*ioservid);
476420927c2SStefano Stabellini         return rc;
477e2abfe5eSDavid Woodhouse     }
478e2abfe5eSDavid Woodhouse 
479e2abfe5eSDavid Woodhouse     *ioservid = 0;
480e2abfe5eSDavid Woodhouse     use_default_ioreq_server = true;
481e2abfe5eSDavid Woodhouse     trace_xen_default_ioreq_server();
482420927c2SStefano Stabellini 
483420927c2SStefano Stabellini     return rc;
484e2abfe5eSDavid Woodhouse }
485e2abfe5eSDavid Woodhouse 
xen_destroy_ioreq_server(domid_t dom,ioservid_t ioservid)486e2abfe5eSDavid Woodhouse static inline void xen_destroy_ioreq_server(domid_t dom,
487e2abfe5eSDavid Woodhouse                                             ioservid_t ioservid)
488e2abfe5eSDavid Woodhouse {
489e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
490e2abfe5eSDavid Woodhouse         return;
491e2abfe5eSDavid Woodhouse     }
492e2abfe5eSDavid Woodhouse 
493e2abfe5eSDavid Woodhouse     trace_xen_ioreq_server_destroy(ioservid);
494e2abfe5eSDavid Woodhouse     xendevicemodel_destroy_ioreq_server(xen_dmod, dom, ioservid);
495e2abfe5eSDavid Woodhouse }
496e2abfe5eSDavid Woodhouse 
xen_get_ioreq_server_info(domid_t dom,ioservid_t ioservid,xen_pfn_t * ioreq_pfn,xen_pfn_t * bufioreq_pfn,evtchn_port_t * bufioreq_evtchn)497e2abfe5eSDavid Woodhouse static inline int xen_get_ioreq_server_info(domid_t dom,
498e2abfe5eSDavid Woodhouse                                             ioservid_t ioservid,
499e2abfe5eSDavid Woodhouse                                             xen_pfn_t *ioreq_pfn,
500e2abfe5eSDavid Woodhouse                                             xen_pfn_t *bufioreq_pfn,
501e2abfe5eSDavid Woodhouse                                             evtchn_port_t *bufioreq_evtchn)
502e2abfe5eSDavid Woodhouse {
503e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
504e2abfe5eSDavid Woodhouse         return xen_get_default_ioreq_server_info(dom, ioreq_pfn,
505e2abfe5eSDavid Woodhouse                                                  bufioreq_pfn,
506e2abfe5eSDavid Woodhouse                                                  bufioreq_evtchn);
507e2abfe5eSDavid Woodhouse     }
508e2abfe5eSDavid Woodhouse 
509e2abfe5eSDavid Woodhouse     return xendevicemodel_get_ioreq_server_info(xen_dmod, dom, ioservid,
510e2abfe5eSDavid Woodhouse                                                 ioreq_pfn, bufioreq_pfn,
511e2abfe5eSDavid Woodhouse                                                 bufioreq_evtchn);
512e2abfe5eSDavid Woodhouse }
513e2abfe5eSDavid Woodhouse 
xen_set_ioreq_server_state(domid_t dom,ioservid_t ioservid,bool enable)514e2abfe5eSDavid Woodhouse static inline int xen_set_ioreq_server_state(domid_t dom,
515e2abfe5eSDavid Woodhouse                                              ioservid_t ioservid,
516e2abfe5eSDavid Woodhouse                                              bool enable)
517e2abfe5eSDavid Woodhouse {
518e2abfe5eSDavid Woodhouse     if (use_default_ioreq_server) {
519e2abfe5eSDavid Woodhouse         return 0;
520e2abfe5eSDavid Woodhouse     }
521e2abfe5eSDavid Woodhouse 
522e2abfe5eSDavid Woodhouse     trace_xen_ioreq_server_state(ioservid, enable);
523e2abfe5eSDavid Woodhouse     return xendevicemodel_set_ioreq_server_state(xen_dmod, dom, ioservid,
524e2abfe5eSDavid Woodhouse                                                  enable);
525e2abfe5eSDavid Woodhouse }
526e2abfe5eSDavid Woodhouse 
52701bb72afSVikram Garhwal #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 41500
xendevicemodel_set_irq_level(xendevicemodel_handle * dmod,domid_t domid,uint32_t irq,unsigned int level)5280c8ab1cdSOleksandr Tyshchenko static inline int xendevicemodel_set_irq_level(xendevicemodel_handle *dmod,
5290c8ab1cdSOleksandr Tyshchenko                                                domid_t domid, uint32_t irq,
5300c8ab1cdSOleksandr Tyshchenko                                                unsigned int level)
5310c8ab1cdSOleksandr Tyshchenko {
53201bb72afSVikram Garhwal     return -1;
5330c8ab1cdSOleksandr Tyshchenko }
5340c8ab1cdSOleksandr Tyshchenko #endif
5350c8ab1cdSOleksandr Tyshchenko 
5364efb13f8SPaolo Bonzini #if CONFIG_XEN_CTRL_INTERFACE_VERSION < 41700
5370c8ab1cdSOleksandr Tyshchenko #define GUEST_VIRTIO_MMIO_BASE   xen_mk_ullong(0x02000000)
5380c8ab1cdSOleksandr Tyshchenko #define GUEST_VIRTIO_MMIO_SIZE   xen_mk_ullong(0x00100000)
5390c8ab1cdSOleksandr Tyshchenko #define GUEST_VIRTIO_MMIO_SPI_FIRST   33
5400c8ab1cdSOleksandr Tyshchenko #define GUEST_VIRTIO_MMIO_SPI_LAST    43
5410c8ab1cdSOleksandr Tyshchenko #endif
5420c8ab1cdSOleksandr Tyshchenko 
54356014219SOleksandr Tyshchenko #if defined(__i386__) || defined(__x86_64__)
54456014219SOleksandr Tyshchenko #define GUEST_RAM_BANKS   2
54556014219SOleksandr Tyshchenko #define GUEST_RAM0_BASE   0x40000000ULL /* 3GB of low RAM @ 1GB */
54656014219SOleksandr Tyshchenko #define GUEST_RAM0_SIZE   0xc0000000ULL
54756014219SOleksandr Tyshchenko #define GUEST_RAM1_BASE   0x0200000000ULL /* 1016GB of RAM @ 8GB */
54856014219SOleksandr Tyshchenko #define GUEST_RAM1_SIZE   0xfe00000000ULL
54956014219SOleksandr Tyshchenko #endif
55056014219SOleksandr Tyshchenko 
551e2abfe5eSDavid Woodhouse #endif /* QEMU_HW_XEN_NATIVE_H */
552