This should be coming anyway, right?This is quite hideous. I have no objection to optimizing __vmx_vcpu_run(), butWill do.
I would much prefer that a macro like this live in generic code, and that it be
generic. It should be easy enough to provide an assembly friendly equivalent to
__native_wrmsr_constant().