I just checked a proprietary VMX driver. It fully disables VMX before turning interrupts back on. If I remember right, it works fine with VMWare running on th

I just checked a proprietary VMX driver. It fully disables VMX before turning interrupts back on. If I remember right, it works fine with VMWare running on the same machine, so they must be doing likewise. I think I recall problems with Hyper-V, so you are probably right about that one. It looks like Hyper-V is the uncooperative VMX driver that refuses to play nice with others.