portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

boot: fix argname in populate_bi_frame prototype

Browse source 
https://github.com/seL4/seL4/pull/1497#issuecomment-3134325333

Signed-off-by: julia <git.ts@trainwit.ch>
This commit is contained in:
julia 2025-07-31 11:29:14 +10:00 committed by Gerwin Klein
parent 23cca42f97
commit 66207ddc5c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
include/kernel/boot.h
View file

@ -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