On Fri, Jan 10, 2020 at 2:23 PM Julien Grall wrote:
>
> Signed-off-by: Julien Grall
> ---
> xen/common/sched_rt.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/xen/common/sched_rt.c b/xen/common/sched_rt.c
> index b2b29481f3..c40a7e4990 100644
> --- a/xen/common/sched_
Signed-off-by: Julien Grall
---
xen/common/sched_rt.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/common/sched_rt.c b/xen/common/sched_rt.c
index b2b29481f3..c40a7e4990 100644
--- a/xen/common/sched_rt.c
+++ b/xen/common/sched_rt.c
@@ -122,7 +122,7 @@
*/
/*
* RTDS