added generic VMM framework

[palacios.git] / palacios / include / geekos / vmx.h

diff --git a/palacios/include/geekos/vmx.h b/palacios/include/geekos/vmx.h
index e82432c..4a8ae25 100644 (file)
--- a/palacios/include/geekos/vmx.h
+++ b/palacios/include/geekos/vmx.h
@@ -97,6 +97,8 @@ struct Instruction {
 void DecodeCurrentInstruction(struct VM *vm, struct Instruction *out);
 
 
+int is_vmx_capable();
+
 VmxOnRegion * Init_VMX();
 VmxOnRegion * CreateVmxOnRegion();