]>
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 | */ | |
8 | ||
9 | #include "qemu-common.h" | |
10 | #include "hw/xen.h" | |
11 | #include "memory.h" | |
12 | ||
13 | void xenstore_store_pv_console_info(int i, CharDriverState *chr) | |
14 | { | |
15 | } | |
16 | ||
17 | int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num) | |
18 | { | |
19 | return -1; | |
20 | } | |
21 | ||
22 | void xen_piix3_set_irq(void *opaque, int irq_num, int level) | |
23 | { | |
24 | } | |
25 | ||
26 | void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len) | |
27 | { | |
28 | } | |
29 | ||
30 | void xen_cmos_set_s3_resume(void *opaque, int irq, int level) | |
31 | { | |
32 | } | |
33 | ||
34 | void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, MemoryRegion *mr) | |
35 | { | |
36 | } | |
37 | ||
38 | qemu_irq *xen_interrupt_controller_init(void) | |
39 | { | |
40 | return NULL; | |
41 | } | |
42 | ||
43 | int xen_init(void) | |
44 | { | |
45 | return -ENOSYS; | |
46 | } |