VMCB_LBR
vmcb_mark_dirty(vmcb01, VMCB_LBR);
vmcb_mark_dirty(vmcb02, VMCB_LBR);
vmcb_mark_dirty(svm->vmcb, VMCB_LBR);
vmcb_mark_dirty(svm->vmcb, VMCB_LBR);
(1U << VMCB_LBR) | (1U << VMCB_AVIC) | (1U << VMCB_CET) | \