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"
11 #include "hw/xen/xen-x86.h"
12
xen_pci_slot_get_pirq(PCIDevice * pci_dev,int irq_num)13 int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num)
14 {
15 return -1;
16 }
17
xen_intx_set_irq(void * opaque,int irq_num,int level)18 void xen_intx_set_irq(void *opaque, int irq_num, int level)
19 {
20 }
21
xen_set_pci_link_route(uint8_t link,uint8_t irq)22 int xen_set_pci_link_route(uint8_t link, uint8_t irq)
23 {
24 return -1;
25 }
26
xen_is_pirq_msi(uint32_t msi_data)27 int xen_is_pirq_msi(uint32_t msi_data)
28 {
29 return 0;
30 }
31
xen_interrupt_controller_init(void)32 qemu_irq *xen_interrupt_controller_init(void)
33 {
34 return NULL;
35 }
36
xen_register_framebuffer(MemoryRegion * mr)37 void xen_register_framebuffer(MemoryRegion *mr)
38 {
39 }
40
xen_hvm_init_pc(PCMachineState * pcms,MemoryRegion ** ram_memory)41 void xen_hvm_init_pc(PCMachineState *pcms, MemoryRegion **ram_memory)
42 {
43 }
44