On Wed, 2017-09-27 at 12:46 +0100, Wei Liu wrote:
> Coverity-ID: 1418531
>
> Signed-off-by: Wei Liu
> ---
> diff --git a/xen/common/sched_credit2.c b/xen/common/sched_credit2.c
> index d33c881c3d..18f39cafe4 100644
> --- a/xen/common/sched_credit2.c
> +++ b/xen/common/sched_credit2.c
> @@ -2831,6
Coverity-ID: 1418531
Signed-off-by: Wei Liu
---
Cc: George Dunlap
Cc: Dario Faggioli
---
xen/common/sched_credit2.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/xen/common/sched_credit2.c b/xen/common/sched_credit2.c
index d33c881c3d..18f39cafe4 100644
--- a/xen/common/sched_credit2.c
+