Searched refs:init_freemem (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-master/seL4/include/kernel/ |
| H A D | boot.h | 50 void init_freemem(word_t n_available, const p_region_t *available,
|
| /seL4-l4v-master/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 93 init_freemem(mem_p_regs->count, mem_p_regs->list, MAX_RESERVED, reserved, v_reg, extra_bi_size_bits);
|
| /seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 97 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, res_reg, ui_v_reg,
|
| /seL4-l4v-master/seL4/src/arch/arm/kernel/ |
| H A D | boot.c | 89 init_freemem(get_num_avail_p_regs(), get_avail_p_regs(), index, reserved, it_v_reg, extra_bi_size_bits);
|
| /seL4-l4v-master/seL4/src/kernel/ |
| H A D | boot.c | 706 BOOT_CODE void init_freemem(word_t n_available, const p_region_t *available, function
|
Completed in 47 milliseconds