-void* vmm_dup_page(void* va) {
- void* new_ppg = pmm_alloc_page(KERNEL_PID, 0);
- vmm_fmap_page(KERNEL_PID, PG_MOUNT_3, new_ppg, PG_PREM_RW);
+ptr_t
+vmm_dup_page(pid_t pid, ptr_t pa)
+{
+ ptr_t new_ppg = pmm_alloc_page(pid, 0);
+ vmm_set_mapping(VMS_SELF, PG_MOUNT_3, new_ppg, PG_PREM_RW, VMAP_NULL);
+ vmm_set_mapping(VMS_SELF, PG_MOUNT_4, pa, PG_PREM_RW, VMAP_NULL);