2 * Copyright (C) 2014 Citrix Systems UK Ltd.
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.
8 #include "qemu/osdep.h"
9 #include "hw/xen/xen.h"
10 #include "qapi/qapi-commands-misc.h"
14 void xenstore_store_pv_console_info(int i
, Chardev
*chr
)
18 int xen_pci_slot_get_pirq(PCIDevice
*pci_dev
, int irq_num
)
23 void xen_piix3_set_irq(void *opaque
, int irq_num
, int level
)
27 void xen_piix_pci_write_config_client(uint32_t address
, uint32_t val
, int len
)
31 void xen_hvm_inject_msi(uint64_t addr
, uint32_t data
)
35 int xen_is_pirq_msi(uint32_t msi_data
)
40 qemu_irq
*xen_interrupt_controller_init(void)
45 void xen_register_framebuffer(MemoryRegion
*mr
)
49 void xen_hvm_init(PCMachineState
*pcms
, MemoryRegion
**ram_memory
)
53 void qmp_xen_set_global_dirty_log(bool enable
, Error
**errp
)