VMCB_INTCPT_PUSHF
VMCB_INTCPT_PUSHF, 0);
svm_set_intercept(vcpu, VMCB_CTRL1_INTCPT, VMCB_INTCPT_PUSHF,