rsm_enter_protected_mode
r = rsm_enter_protected_mode(vcpu, smstate->cr0,
r = rsm_enter_protected_mode(vcpu, smstate->cr0, smstate->cr3, smstate->cr4);