#include <lunaix/mm/pmm.h>
#include <lunaix/mm/vmm.h>

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);

    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");

    vmm_del_mapping(VMS_SELF, PG_MOUNT_3);
    vmm_del_mapping(VMS_SELF, PG_MOUNT_4);

    return new_ppg;
}