1.1 --- a/src/vm.h	Sun Jul 24 18:29:24 2011 +0300
     1.2 +++ b/src/vm.h	Mon Jul 25 11:29:02 2011 +0300
     1.3 @@ -38,9 +38,12 @@
     1.4  void init_vm(void);
     1.5  
     1.6  int map_page(int vpage, int ppage, unsigned int attr);
     1.7 +int unmap_page(int vpage);
     1.8  int map_page_range(int vpg_start, int pgcount, int ppg_start, unsigned int attr);
     1.9 +int unmap_page_range(int vpg_start, int pgcount);
    1.10  int map_mem_range(uint32_t vaddr, size_t sz, uint32_t paddr, unsigned int attr);
    1.11  
    1.12 +int virt_to_phys_page(int vpg);
    1.13  uint32_t virt_to_phys(uint32_t vaddr);
    1.14  
    1.15  enum {
    1.16 @@ -51,6 +54,8 @@
    1.17  int pgalloc(int num, int area);
    1.18  void pgfree(int start, int num);
    1.19  
    1.20 +uint32_t clone_vmem(void);
    1.21 +
    1.22  void dbg_print_vm(int area);
    1.23  
    1.24  #endif	/* VM_H_ */