Uses kref for struct page
[akaros.git] / kern / include / pmap.h
index 63128b0..a36189c 100644 (file)
@@ -5,8 +5,6 @@
  * Copyright (c) 2009 The Regents of the University of California
  * Barret Rhoden <brho@cs.berkeley.edu>
  * Kevin Klues <klueska@cs.berkeley.edu> (multiboot functions)
- * Andrew Waterman <waterman@cs.berkeley.edu> (memcpy_to/from_user)
- * Zach Anderson (zra@cs.berkeley.edu> (user_mem_strlcpy)
  * See LICENSE for details.
  *
  * Physical memory mangement, low-level virtual address space initialization and
@@ -67,7 +65,7 @@ void  vm_init(void);
 
 void   page_init(void);
 void   page_check(void);
-int        page_insert(pde_t *COUNT(NPDENTRIES) pgdir, page_t *pp, void *SNT va, int perm);
+int        page_insert(pde_t *pgdir, struct page *page, void *SNT va, int perm);
 void*COUNT(PGSIZE) page_insert_in_range(pde_t *COUNT(NPDENTRIES) pgdir, page_t *pp, 
                              void *SNT vab, void *SNT vae, int perm);
 void   page_remove(pde_t *COUNT(NPDENTRIES) pgdir, void *SNT va);
@@ -79,24 +77,6 @@ void setup_default_mtrrs(barrier_t* smp_barrier);
 void   tlb_invalidate(pde_t *COUNT(NPDENTRIES) pgdir, void *SNT va);
 void tlb_flush_global(void);
 
-/* TODO: either move these, or make them take a pgdir */
-void * (DALLOC(len) user_mem_check) (env_t *env, const void *DANGEROUS va,
-                                     size_t len, int perm);
-
-void * (DALLOC(len) user_mem_assert)(env_t *env, const void *DANGEROUS va,
-                                     size_t len, int perm);
-
-size_t user_mem_strlcpy(env_t *env, char *NT COUNT(len - 1),
-                        const char *DANGEROUS va, size_t len, int perm);
-
-error_t
-memcpy_from_user(env_t* env, void* COUNT(len) dest,
-                 const void *DANGEROUS va, size_t len);
-
-error_t
-memcpy_to_user(env_t* env, void*DANGEROUS va,
-                 const void *COUNT(len) src, size_t len);
-                 
 /* Arch specific implementations for these */
 pte_t *pgdir_walk(pde_t *COUNT(NPDENTRIES) pgdir, const void *SNT va, int create);
 int get_va_perms(pde_t *COUNT(NPDENTRIES) pgdir, const void *SNT va);