kvm_arch_vcpu_ioctl_get_mpstate
int kvm_arch_vcpu_ioctl_get_mpstate(struct kvm_vcpu *vcpu,
r = kvm_arch_vcpu_ioctl_get_mpstate(vcpu, &mp_state);