vcpu_mp_state_set
vcpu_mp_state_set(source, &mps);
vcpu_mp_state_set(vcpu, &mp_state);
vcpu_mp_state_set(vcpu, &state->mp_state);