+
+ /* Reserve region for all loaded modules */
+ for (size_t i = 0; i < bhctx->mods.mods_num; i++) {
+ struct boot_modent* mod = &bhctx->mods.entries[i];
+ pmm_mark_chunk_occupied(KERNEL_PID,
+ PN(mod->start),
+ CEIL(mod->end - mod->start, PG_SIZE_BITS),
+ PP_FGLOCKED);
+ }