]>
Commit | Line | Data |
---|---|---|
3285cf4f | 1 | /* |
234b7496 | 2 | * Copyright (C) 2014 Citrix Systems UK Ltd. |
3285cf4f | 3 | * |
234b7496 PB |
4 | * This work is licensed under the terms of the GNU GPL, version 2 or later. |
5 | * See the COPYING file in the top-level directory. | |
3285cf4f AP |
6 | */ |
7 | ||
21cbfe5f | 8 | #include "qemu/osdep.h" |
0d09e41a | 9 | #include "hw/xen/xen.h" |
112ed241 | 10 | #include "qapi/qapi-commands-misc.h" |
3285cf4f | 11 | |
8e0ef068 PMD |
12 | bool xen_allowed; |
13 | ||
234b7496 PB |
14 | void xenstore_store_pv_console_info(int i, Chardev *chr) |
15 | { | |
16 | } | |
17 | ||
41445300 AP |
18 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num) |
19 | { | |
20 | return -1; | |
21 | } | |
22 | ||
23 | void xen_piix3_set_irq(void *opaque, int irq_num, int level) | |
24 | { | |
25 | } | |
26 | ||
27 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len) | |
28 | { | |
29 | } | |
30 | ||
f1dbf015 WL |
31 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data) |
32 | { | |
33 | } | |
34 | ||
428c3ece SS |
35 | int xen_is_pirq_msi(uint32_t msi_data) |
36 | { | |
37 | return 0; | |
38 | } | |
39 | ||
9c11a8ac AP |
40 | qemu_irq *xen_interrupt_controller_init(void) |
41 | { | |
42 | return NULL; | |
43 | } | |
44 | ||
c65adf9b AK |
45 | void xen_register_framebuffer(MemoryRegion *mr) |
46 | { | |
47 | } | |
39f42439 | 48 | |
dced4d2f | 49 | void xen_hvm_init(PCMachineState *pcms, MemoryRegion **ram_memory) |
a97d6fe6 | 50 | { |
a97d6fe6 | 51 | } |
04b0de0e WL |
52 | |
53 | void qmp_xen_set_global_dirty_log(bool enable, Error **errp) | |
54 | { | |
55 | } |