2 * Copyright (C) 2010 Citrix Ltd.
4 * This work is licensed under the terms of the GNU GPL, version 2. See
5 * the COPYING file in the top-level directory.
7 * Contributions after 2012-01-13 are licensed under the terms of the
8 * GNU GPL, version 2 or (at your option) any later version.
11 #include "qemu-common.h"
15 void xenstore_store_pv_console_info(int i
, CharDriverState
*chr
)
19 int xen_pci_slot_get_pirq(PCIDevice
*pci_dev
, int irq_num
)
24 void xen_piix3_set_irq(void *opaque
, int irq_num
, int level
)
28 void xen_piix_pci_write_config_client(uint32_t address
, uint32_t val
, int len
)
32 void xen_hvm_inject_msi(uint64_t addr
, uint32_t data
)
36 void xen_cmos_set_s3_resume(void *opaque
, int irq
, int level
)
40 void xen_ram_alloc(ram_addr_t ram_addr
, ram_addr_t size
, MemoryRegion
*mr
)
44 qemu_irq
*xen_interrupt_controller_init(void)
54 void xen_register_framebuffer(MemoryRegion
*mr
)