From 66207ddc5cf5c4253b47e395e6bef2eb5f438db6 Mon Sep 17 00:00:00 2001 From: julia Date: Thu, 31 Jul 2025 11:29:14 +1000 Subject: [PATCH] boot: fix argname in populate_bi_frame prototype https://github.com/seL4/seL4/pull/1497#issuecomment-3134325333 Signed-off-by: julia --- include/kernel/boot.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/kernel/boot.h b/include/kernel/boot.h index 4b6ae58fe..f6d394019 100644 --- a/include/kernel/boot.h +++ b/include/kernel/boot.h @@ -58,7 +58,7 @@ void create_domain_cap(cap_t root_cnode_cap); cap_t create_ipcbuf_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr); word_t calculate_extra_bi_size_bits(word_t extra_size); void populate_bi_frame(node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr, - word_t extra_bi_size_bits); + word_t extra_bi_size); void create_bi_frame_cap(cap_t root_cnode_cap, cap_t pd_cap, vptr_t vptr); #ifdef CONFIG_KERNEL_MCS