Searched refs:init_freemem (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/capdl/cdl_utils/ |
| H A D | untyped_gen.py | 45 def init_freemem(available, reserved): function
50 This method mirrors init_freemem in the kernel.
149 freemem = init_freemem(available, reserved)
|
| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | boot.h | 50 void init_freemem(word_t n_available, const p_region_t *available,
|
| /seL4-camkes-master/kernel/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-camkes-master/kernel/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-camkes-master/kernel/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-camkes-master/kernel/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 140 milliseconds