- pmm_mark_chunk_occupied(KERNEL_PID, 0, pg_count, 0);
- kprintf(KINFO "[MM] Allocated %d pages for kernel.\n", pg_count);
-
- size_t vga_buf_pgs = VGA_BUFFER_SIZE >> PG_SIZE_BITS;
-
- // 首先,标记VGA部分为已占用
- pmm_mark_chunk_occupied(
- KERNEL_PID, VGA_BUFFER_PADDR >> PG_SIZE_BITS, vga_buf_pgs, 0);
-
- // 重映射VGA文本缓冲区(以后会变成显存,i.e., framebuffer)
- for (size_t i = 0; i < vga_buf_pgs; i++) {
- vmm_set_mapping(PD_REFERENCED,
- VGA_BUFFER_VADDR + (i << PG_SIZE_BITS),
- VGA_BUFFER_PADDR + (i << PG_SIZE_BITS),
- PG_PREM_URW,
- VMAP_NULL);
- }
-
- assert_msg(!((uintptr_t)&__usrtext_start & 0xfff) &&
- !((uintptr_t)&__usrtext_end & 0xfff),
- "Bad usrtext alignment");
+ pmm_mark_chunk_occupied(KERNEL_PID, 0, pg_count, PP_FGLOCKED);