VMX is working for a 32-bit Linux kernel. It should also work for a 64-bit kernel...

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

diff --git a/palacios/include/palacios/vmm_msr.h b/palacios/include/palacios/vmm_msr.h
index ef66a60..f7e3202 100644 (file)
--- a/palacios/include/palacios/vmm_msr.h
+++ b/palacios/include/palacios/vmm_msr.h
@@ -83,6 +83,10 @@ struct v3_msr_hook * v3_get_msr_hook(struct guest_info * info, uint_t msr);
 
 void v3_print_msr_map(struct guest_info * info);
 
+int v3_handle_msr_write(struct guest_info * info);
+
+int v3_handle_msr_read(struct guest_info * info);
+
 
 
 #endif // ! __V3VEE__