VMCB_CACHE_SEG
dirty |= VMCB_CACHE_SEG;
svm_set_dirty(sc, vcpu, VMCB_CACHE_SEG);
dirty = VMCB_CACHE_SEG;