kvm_arm_set_vcpu_workaround_2_flag 591 virt/kvm/arm/psci.c kvm_arm_set_vcpu_workaround_2_flag(vcpu, kvm_arm_set_vcpu_workaround_2_flag 595 virt/kvm/arm/psci.c kvm_arm_set_vcpu_workaround_2_flag(vcpu, true);