- ptr_t new_ppg = pmm_alloc_page(0);
- mount_page(PG_MOUNT_3, new_ppg);
- mount_page(PG_MOUNT_4, pa);
+ ptr_t dest_va, src_va;
+ struct leaflet* new_leaflet;
+
+ new_leaflet = alloc_leaflet(leaflet_order(leaflet));
+
+ src_va = leaflet_mount(leaflet);
+ dest_va = vmap(new_leaflet, KERNEL_DATA);
+
+ size_t cnt_wordsz = leaflet_size(new_leaflet) / sizeof(ptr_t);