Have unregistered hypercalls fail to guest

[palacios.git] / palacios / include / palacios / vmm_hypercall.h

diff --git a/palacios/include/palacios/vmm_hypercall.h b/palacios/include/palacios/vmm_hypercall.h
index 9b16618..58c73f9 100644 (file)
--- a/palacios/include/palacios/vmm_hypercall.h
+++ b/palacios/include/palacios/vmm_hypercall.h
@@ -56,7 +56,7 @@ typedef enum {
 
     VNET_HEADER_QUERY_HCALL  =   0xe000,        // Get the current header for a src/dest pair
 
-    HVM_HCALL = 0xf000, 
+    HVM_HCALL = 0xf00d, 
 } hcall_id_t;