VMCB_PERM_MAP
vmcb_mark_dirty(vmcb02, VMCB_PERM_MAP);
(1U << VMCB_INTERCEPTS) | (1U << VMCB_PERM_MAP) | \