VMCB_AVIC
vmcb_mark_dirty(vmcb, VMCB_AVIC);
(1U << VMCB_LBR) | (1U << VMCB_AVIC) | (1U << VMCB_CET) | \