On 18.12.19 12:54, Dario Faggioli wrote:
On Wed, 2019-12-18 at 08:48 +0100, Juergen Gross wrote:
Scheduling code has several places using int or bool_t instead of
bool.
Switch those.
Signed-off-by: Juergen Gross
I'm fine with pretty much everything in this patch. Just two comments:
diff
On Wed, 2019-12-18 at 08:48 +0100, Juergen Gross wrote:
> Scheduling code has several places using int or bool_t instead of
> bool.
> Switch those.
>
> Signed-off-by: Juergen Gross
>
I'm fine with pretty much everything in this patch. Just two comments:
> diff --git
Scheduling code has several places using int or bool_t instead of bool.
Switch those.
Signed-off-by: Juergen Gross
---
xen/common/sched/cpupool.c| 10 +-
xen/common/sched/sched-if.h | 2 +-
xen/common/sched/sched_arinc653.c | 8
xen/common/sched/sched_credit.c
