os/kernel/cpu/i386/address_spaces.c

#include "paging.h"

void address_spaces_copy_data(void* cr3, void* data,uint32_t size,void* virt_addr) {
  uint32_t old_cr3;
  asm volatile("movl %%cr3, %%eax; movl %%eax, %0;":"=m"(old_cr3)::"%eax");
  void* phys_addr=virt_to_phys(data);
  load_smap((uint32_t)cr3);
  map_pages(virt_addr,phys_addr,(size/4096)+1,1,1);
  load_smap(old_cr3);
}

void* address_spaces_put_data(void* cr3, void* data,uint32_t size) {
  uint32_t old_cr3;
  asm volatile("movl %%cr3, %%eax; movl %%eax, %0;":"=m"(old_cr3)::"%eax");
  void* phys_addr=virt_to_phys(data);
  load_smap((uint32_t)cr3);
  void* virt_addr=find_free_pages((size/4096)+1);
  map_pages(virt_addr,phys_addr,(size/4096)+1,1,1);
  load_smap(old_cr3);
  return virt_addr;
}