- // Ensure the size of kernel is within the reservation
- int remain = KEXEC_RSVD - alloc.pt_usage;
- if (leaf_count(maps->ksize) > remain * _PAGE_LEVEL_SIZE)
- {
- asm("ud2");
- }
-
- // assume contig kernel vaddrs
- for (unsigned int i = 0; i < maps->num; i++)
- {
- section = &maps->secs[i];
-
- if (section->va < KERNEL_RESIDENT) {
- continue;
- }
-
- pte = mkpte_prot(KERNEL_RDONLY);
- if ((section->flags & PF_X)) {
- pte = pte_mkexec(pte);
- }
- if ((section->flags & PF_W)) {
- pte = pte_mkwritable(pte);
- }
-
- pgs = leaf_count(section->size);
- for (pfn_t j = 0; j < pgs; j++)
- {
- pte = pte_setpaddr(pte, section->pa + page_addr(j));
- set_pte(klptep, pte);
-
- klptep++;
- }
- }
-
- // Build up self-reference
- lvl_i = va_level_index(VMS_SELF, L0T_SIZE);
- pte = mkpte_root(__ptr(kpt_pa), KERNEL_PGTAB);
- set_pte(boot_l0tep + lvl_i, pte);