X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fcirrus_gfx_card.c;h=e9d27be8f783cc161fb487e3f4833d4b5e111eff;hb=b6731d8c63a50ae8083edb56a9a726957910ec64;hp=ca1e0bad57d6076ded074e419f878ee0ab567e63;hpb=efbe4a22cf885020ad0f5d8b9b5671b89d5f7e88;p=palacios.git

diff --git a/palacios/src/devices/cirrus_gfx_card.c b/palacios/src/devices/cirrus_gfx_card.c
index ca1e0ba..e9d27be 100644
--- a/palacios/src/devices/cirrus_gfx_card.c
+++ b/palacios/src/devices/cirrus_gfx_card.c
@@ -28,7 +28,7 @@
 #include <palacios/vmm_paging.h>
 #include <palacios/vmm_instr_emulator.h>
 #include <palacios/vm_guest_mem.h>
-#include <palacios/vmm_socket.h>
+#include <interfaces/vmm_socket.h>
 #include <palacios/vmm_host_events.h>
 #include <devices/pci.h>
 #include <devices/pci_types.h>