Merge branch 'devel' of ssh://palacios@newskysaw/home/palacios/palacios into devel

diff --combined linux_module/palacios.h

index 117d974,76b4779..9fe9c29
--- 1/linux_module/palacios.h
--- 2/linux_module/palacios.h
+++ b/linux_module/palacios.h
@@@ -29,10 -29,10 +29,10 @@@
  #define V3_VM_STREAM_CONNECT 21
  #define V3_VM_STOP 22
  
- #define V3_VM_FB_INPUT 256+1
- #define V3_VM_FB_QUERY 256+2
+ #define V3_VM_FB_INPUT (256+1)
+ #define V3_VM_FB_QUERY (256+2)
  
- #define V3_VM_HOST_DEV_CONNECT 512+1
+ #define V3_VM_HOST_DEV_CONNECT (10244+1)
  
  
  struct v3_guest_img {
@@@ -72,7 -72,7 +72,7 @@@ struct v3_guest 
      struct palacios_console console;
  #endif
  
- -#ifdef V3_CONFIG_CONSOLE
+ +#ifdef V3_CONFIG_GRAPHICS_CONSOLE
      struct palacios_graphics_console graphics_console;
  #endif