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

boot: make functions static

Browse source 
The functions insert_region() and create_rootserver_objects() are not
used outside of boot.c, so there is no reason to make it publicly
available.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-07-04 17:45:53 +02:00 committed by Gerwin Klein
parent d57b2cd0f8
commit 74b81ede92
2 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
include/kernel/boot.h
View file

@ -41,7 +41,6 @@ bool_t init_freemem(word_t n_available, const p_region_t *available,
word_t n_reserved, const region_t *reserved,
v_region_t it_v_reg, word_t extra_bi_size_bits);
bool_t reserve_region(p_region_t reg);
bool_t insert_region(region_t reg);
void write_slot(slot_ptr_t slot_ptr, cap_t cap);
cap_t create_root_cnode(void);
bool_t provide_cap(cap_t root_cnode_cap, cap_t cap);
@ -134,7 +133,3 @@ static inline BOOT_CODE pptr_t it_alloc_paging(void)
/* return the amount of paging structures required to cover v_reg */
word_t arch_get_n_paging(v_region_t it_veg);
/* Create pptrs for all root server objects, starting at pptr, to cover the
* virtual memory region v_reg, and any extra boot info. */
void create_rootserver_objects(pptr_t start, v_region_t v_reg, word_t extra_bi_size_bits);

8
src/kernel/boot.c
View file

@ -94,7 +94,7 @@ BOOT_CODE bool_t reserve_region(p_region_t reg)
return true;
}
BOOT_CODE bool_t insert_region(region_t reg)
BOOT_CODE static bool_t insert_region(region_t reg)
{
assert(reg.start <= reg.end);
if (is_reg_empty(reg)) {
@ -165,7 +165,11 @@ BOOT_CODE static void maybe_alloc_extra_bi(word_t cmp_size_bits, word_t extra_bi
}
}
BOOT_CODE void create_rootserver_objects(pptr_t start, v_region_t it_v_reg, word_t extra_bi_size_bits)
/* Create pptrs for all root server objects, starting at a give start address,
* to cover the virtual memory region v_reg, and any extra boot info.
*/
BOOT_CODE static void create_rootserver_objects(pptr_t start, v_region_t it_v_reg,
word_t extra_bi_size_bits)
{
/* the largest object the PD, the root cnode, or the extra boot info */
word_t cnode_size_bits = CONFIG_ROOT_CNODE_SIZE_BITS + seL4_SlotBits;