#include <linux/file.h>
#include <linux/sched.h>
-#include <palacios/vmm_console.h>
+#include <interfaces/vmm_console.h>
#include <palacios/vmm_host_events.h>
#include "palacios.h"
#include "palacios.h"
-#include <palacios/vmm_file.h>
+#include <interfaces/vmm_file.h>
static struct list_head global_files;
#include <linux/errno.h>
#include <asm/msr.h>
-#include <palacios/vmm_packet.h>
+#include <interfaces/vmm_packet.h>
#include <palacios/vmm_host_events.h>
#include <palacios/vmm_vnet.h>
#include <palacios/vmm_ethernet.h>
* full text of the license.
*/
-#include <palacios/vmm_socket.h>
+#include <interfaces/vmm_socket.h>
#include <linux/spinlock.h>
#include <asm/uaccess.h>
#include <linux/percpu.h>
#include <linux/sched.h>
-#include <palacios/vmm_stream.h>
+#include <interfaces/vmm_stream.h>
#include "palacios-stream.h"
static struct list_head global_streams;
#include <palacios/vmm_dev_mgr.h>
#include <palacios/vm_guest_mem.h>
#include <palacios/vmm_sprintf.h>
-#include <palacios/vmm_packet.h>
+#include <interfaces/vmm_packet.h>
#ifndef CONFIG_DEBUG_NIC_BRIDGE
#undef PrintDebug
#include <palacios/vmm_types.h>
#include <palacios/vm_guest_mem.h>
#include <palacios/vmm_io.h>
-#include <palacios/vmm_graphics_console.h>
+#include <interfaces/vmm_graphics_console.h>
#include "vga_regs.h"