On Thu, Jul 25, 2019 at 3:32 PM Krish Sadhukhan <krish.sadhukhan@xxxxxxxxxx> wrote: > > As an aside, I am curious to know why the hardware threw "invalid > VMX-control" error on bare-metal. My idea was that since the hardware > checks VMX controls before Host State and since bit# 9 in VMX > Exit-control is unset, we are seeing "invalid VMX-control" error instead > of "invalid Host State" error. See the SDM, volume 3, 26.2 CHECKS ON VMX CONTROLS AND HOST-STATE AREA: These checks may be performed in any order. Thus, an indication by error number of one cause (for example, host state) does not imply that there are not also other errors.