Only call xen_register_framebuffer() when Xen is enabled.
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
#include "qemu/osdep.h"
#include "qemu/units.h"
#include "sysemu/reset.h"
+#include "sysemu/xen.h"
#include "qapi/error.h"
#include "hw/core/cpu.h"
#include "hw/display/vga.h"
return false;
}
vmstate_register_ram(&s->vram, s->global_vmstate ? NULL : DEVICE(obj));
- xen_register_framebuffer(&s->vram);
+ if (xen_enabled()) {
+ xen_register_framebuffer(&s->vram);
+ }
s->vram_ptr = memory_region_get_ram_ptr(&s->vram);
s->get_bpp = vga_get_bpp;
s->get_offsets = vga_get_offsets;