2014-05-07 18:16:43 +02:00
|
|
|
/*
|
|
|
|
* 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.
|
|
|
|
*/
|
|
|
|
|
2016-01-26 19:17:06 +01:00
|
|
|
#include "qemu/osdep.h"
|
2014-05-07 18:16:43 +02:00
|
|
|
#include "qemu-common.h"
|
|
|
|
#include "hw/xen/xen.h"
|
|
|
|
|
|
|
|
void xenstore_store_pv_console_info(int i, CharDriverState *chr)
|
|
|
|
{
|
|
|
|
}
|