]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Copyright (C) 2010 Citrix Ltd. | |
3 | * | |
4 | * This work is licensed under the terms of the GNU GPL, version 2. See | |
5 | * the COPYING file in the top-level directory. | |
6 | * | |
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. | |
9 | */ | |
10 | ||
11 | #include "qemu-common.h" | |
12 | #include "hw/xen.h" | |
13 | #include "memory.h" | |
14 | ||
15 | void xenstore_store_pv_console_info(int i, CharDriverState *chr) | |
16 | { | |
17 | } | |
18 | ||
19 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num) | |
20 | { | |
21 | return -1; | |
22 | } | |
23 | ||
24 | void xen_piix3_set_irq(void *opaque, int irq_num, int level) | |
25 | { | |
26 | } | |
27 | ||
28 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len) | |
29 | { | |
30 | } | |
31 | ||
32 | void xen_hvm_inject_msi(uint64_t addr, uint32_t data) | |
33 | { | |
34 | } | |
35 | ||
36 | void xen_cmos_set_s3_resume(void *opaque, int irq, int level) | |
37 | { | |
38 | } | |
39 | ||
40 | void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, MemoryRegion *mr) | |
41 | { | |
42 | } | |
43 | ||
44 | qemu_irq *xen_interrupt_controller_init(void) | |
45 | { | |
46 | return NULL; | |
47 | } | |
48 | ||
49 | int xen_init(void) | |
50 | { | |
51 | return -ENOSYS; | |
52 | } | |
53 | ||
54 | void xen_register_framebuffer(MemoryRegion *mr) | |
55 | { | |
56 | } |