MSR_CE
regs_set_return_msr(regs, regs->msr & ~MSR_CE);
#define MSR_ (MSR_ME | MSR_RI | MSR_CE)
#define MSR_KERNEL (MSR_ME|MSR_RI|MSR_CE)
LOAD_REG_IMMEDIATE(r11, MSR_KERNEL & ~(MSR_ME|MSR_DE|MSR_CE)); \
{MSR_CE, "CE"},
msr_mask = MSR_CE | MSR_ME | MSR_DE;
allowed = vcpu->arch.shared->msr & MSR_CE;
msr_mask = MSR_CE | MSR_ME | MSR_DE;
mtmsr(msr_save|MSR_WE|MSR_EE|MSR_CE|MSR_DE);
mtmsr(msr_save|MSR_WE|MSR_EE|MSR_CE|MSR_DE);