added support for Intel EPT with(?) and without unrestricted guest support

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

diff --git a/palacios/include/palacios/vmx_hw_info.h b/palacios/include/palacios/vmx_hw_info.h
index 726d994..5f57fc0 100644 (file)
--- a/palacios/include/palacios/vmx_hw_info.h
+++ b/palacios/include/palacios/vmx_hw_info.h
@@ -159,8 +159,11 @@ struct vmx_hw_info {
 };
 
 
+
+
 int v3_init_vmx_hw(struct vmx_hw_info * hw_info);
 
+uint32_t v3_vmx_get_ctrl_features(struct vmx_ctrl_field * fields);