Symbol: kvm_arch_vcpu_run_pid_change