On 22/01/19 11:24, Suthikulpanit, Suravee wrote:
> From: Suravee Suthikulpanit <suravee.suthikulpa...@amd.com>
> 
> Print warning message when IPI target ID is invalid due to one of
> the following reasons:
>   * In logical mode: cluster > max_cluster (64)
>   * In physical mode: target > max_physical (512)
>   * Address is not present in the physical or logical ID tables
> 
> Signed-off-by: Suravee Suthikulpanit <suravee.suthikulpa...@amd.com>
> ---
>  arch/x86/kvm/svm.c | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/arch/x86/kvm/svm.c b/arch/x86/kvm/svm.c
> index a157ca5b6869..2aff835a65ed 100644
> --- a/arch/x86/kvm/svm.c
> +++ b/arch/x86/kvm/svm.c
> @@ -4526,6 +4526,8 @@ static int avic_incomplete_ipi_interception(struct 
> vcpu_svm *svm)
>               break;
>       }
>       case AVIC_IPI_FAILURE_INVALID_TARGET:
> +             WARN_ONCE(1, "Invalid IPI target: index=%u, vcpu=%d, 
> icr=%#0x:%#0x\n",
> +                       index, svm->vcpu.vcpu_id, icrh, icrl);
>               break;
>       case AVIC_IPI_FAILURE_INVALID_BACKING_PAGE:
>               WARN_ONCE(1, "Invalid backing page\n");
> 

Queued, thanks.

Paolo

Reply via email to