]>
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 | ||
21d87050 BB |
22 | int xen_set_pci_link_route(uint8_t link, uint8_t irq) |
23 | { | |
24 | return -1; | |
25 | } | |
26 | ||
71f364b7 PMD |
27 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data) |
28 | { | |
29 | } | |
30 | ||
31 | int xen_is_pirq_msi(uint32_t msi_data) | |
32 | { | |
33 | return 0; | |
34 | } | |
35 | ||
36 | qemu_irq *xen_interrupt_controller_init(void) | |
37 | { | |
38 | return NULL; | |
39 | } | |
40 | ||
41 | void xen_register_framebuffer(MemoryRegion *mr) | |
42 | { | |
43 | } | |
44 | ||
45 | void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory) | |
46 | { | |
47 | } |