VMX_REGS_LAZY_LOAD_SET
vcpu->arch.regs_avail = ~VMX_REGS_LAZY_LOAD_SET;
vcpu->arch.regs_avail &= ~VMX_REGS_LAZY_LOAD_SET;