]>
Commit | Line | Data |
---|---|---|
71f364b7 PMD |
1 | /* |
2 | * Copyright (C) 2014 Citrix Systems UK Ltd. | |
3 | * | |
4 | * SPDX-License-Identifier: GPL-2.0-or-later | |
5 | * This work is licensed under the terms of the GNU GPL, version 2 or later. | |
6 | * See the COPYING file in the top-level directory. | |
7 | */ | |
8 | ||
9 | #include "qemu/osdep.h" | |
10 | #include "hw/xen/xen.h" | |
c834596f | 11 | #include "hw/xen/xen-x86.h" |
71f364b7 | 12 | |
71f364b7 PMD |
13 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num) |
14 | { | |
15 | return -1; | |
16 | } | |
17 | ||
18 | void xen_piix3_set_irq(void *opaque, int irq_num, int level) | |
19 | { | |
20 | } | |
21 | ||
22 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len) | |
23 | { | |
24 | } | |
25 | ||
26 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data) | |
27 | { | |
28 | } | |
29 | ||
30 | int xen_is_pirq_msi(uint32_t msi_data) | |
31 | { | |
32 | return 0; | |
33 | } | |
34 | ||
35 | qemu_irq *xen_interrupt_controller_init(void) | |
36 | { | |
37 | return NULL; | |
38 | } | |
39 | ||
40 | void xen_register_framebuffer(MemoryRegion *mr) | |
41 | { | |
42 | } | |
43 | ||
44 | void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory) | |
45 | { | |
46 | } |