On 18/01/19 22:20, Sean Christopherson wrote: > + "bl"(vmx->loaded_vmcs->launched), "b" instead of "bl". Paolo