From 70a8f8c29b733562f9ef6a8ba87fbac2a5617d07 Mon Sep 17 00:00:00 2001 From: Axel Heider Date: Tue, 8 Jun 2021 23:17:58 +0200 Subject: [PATCH] boot: make loop variables unsigned Signed-off-by: Axel Heider --- src/kernel/boot.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/kernel/boot.c b/src/kernel/boot.c index 467bcf5ce..1b3c48bec 100644 --- a/src/kernel/boot.c +++ b/src/kernel/boot.c @@ -402,7 +402,7 @@ BOOT_CODE bool_t init_sched_control(cap_t root_cnode_cap, word_t num_nodes) bool_t ret = true; seL4_SlotPos slot_pos_before = ndks_boot.slot_pos_cur; /* create a sched control cap for each core */ - for (int i = 0; i < num_nodes && ret; i++) { + for (unsigned int i = 0; i < num_nodes && ret; i++) { ret = provide_cap(root_cnode_cap, cap_sched_control_cap_new(i)); } @@ -425,7 +425,7 @@ BOOT_CODE bool_t create_idle_thread(void) pptr_t pptr; #ifdef ENABLE_SMP_SUPPORT - for (int i = 0; i < CONFIG_MAX_NUM_NODES; i++) { + for (unsigned int i = 0; i < CONFIG_MAX_NUM_NODES; i++) { #endif /* ENABLE_SMP_SUPPORT */ pptr = (pptr_t) &ksIdleThreadTCB[SMP_TERNARY(i, 0)]; NODE_STATE_ON_CORE(ksIdleThread, i) = TCB_PTR(pptr + TCB_OFFSET);