to support VMX