- 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_map_page(KERNEL_PID,
- (void*)(VGA_BUFFER_VADDR + (i << PG_SIZE_BITS)),
- (void*)(VGA_BUFFER_PADDR + (i << PG_SIZE_BITS)),
- PG_PREM_URW);
+ for (uintptr_t i = &__usrtext_start; i < &__usrtext_end; i += PG_SIZE) {
+ vmm_set_mapping(PD_REFERENCED, i, V2P(i), PG_PREM_UR, VMAP_NULL);