- asm volatile (
- "movl %1, %%edi\n"
- "movl %2, %%esi\n"
- "rep movsl\n"
- :: "c"(1024), "r"(PG_MOUNT_3), "r"(PG_MOUNT_4)
- : "memory", "%edi", "%esi");
+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);