xen, vga: add API for registering the framebuffer

[qemu.git] / xen-stub.c

diff --git a/xen-stub.c b/xen-stub.c
index 3a8449c148100eec7e6cb00d8aad807db7162a6c..d403d864b3600ec906b508a85663de9d800e4740 100644 (file)
--- a/xen-stub.c
+++ b/xen-stub.c
@@ -8,6 +8,11 @@
 
 #include "qemu-common.h"
 #include "hw/xen.h"
+#include "memory.h"
+
+void xenstore_store_pv_console_info(int i, CharDriverState *chr)
+{
+}
 
 int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num)
 {
@@ -22,6 +27,14 @@ void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len)
 {
 }
 
+void xen_cmos_set_s3_resume(void *opaque, int irq, int level)
+{
+}
+
+void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, MemoryRegion *mr)
+{
+}
+
 qemu_irq *xen_interrupt_controller_init(void)
 {
     return NULL;
@@ -31,3 +44,7 @@ int xen_init(void)
 {
     return -ENOSYS;
 }
+
+void xen_register_framebuffer(MemoryRegion *mr)
+{
+}