1
2
3
4
5
6
7
8
9
10
11#include "qemu/osdep.h"
12#include "hw/xen/xen.h"
13#include "exec/memory.h"
14#include "qapi/qapi-commands-misc.h"
15
16int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num)
17{
18 return -1;
19}
20
21void xen_piix3_set_irq(void *opaque, int irq_num, int level)
22{
23}
24
25void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len)
26{
27}
28
29void xen_hvm_inject_msi(uint64_t addr, uint32_t data)
30{
31}
32
33int xen_is_pirq_msi(uint32_t msi_data)
34{
35 return 0;
36}
37
38void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, MemoryRegion *mr,
39 Error **errp)
40{
41}
42
43qemu_irq *xen_interrupt_controller_init(void)
44{
45 return NULL;
46}
47
48void xen_register_framebuffer(MemoryRegion *mr)
49{
50}
51
52void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length)
53{
54}
55
56void xen_hvm_init(PCMachineState *pcms, MemoryRegion **ram_memory)
57{
58}
59
60void qmp_xen_set_global_dirty_log(bool enable, Error **errp)
61{
62}
63