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 } 57