/* * Copyright (C) 2014 Citrix Systems UK Ltd. * * This work is licensed under the terms of the GNU GPL, version 2 or later. * See the COPYING file in the top-level directory. */#include"qemu/osdep.h"#include"qemu-common.h"#include"hw/xen/xen.h"voidxenstore_store_pv_console_info(int i, CharDriverState *chr){}