Fix conflict
authorZach Anderson <zra@zra-intrepid.(none)>
Mon, 24 Aug 2009 21:51:12 +0000 (14:51 -0700)
committerZach Anderson <zra@zra-intrepid.(none)>
Mon, 24 Aug 2009 21:51:12 +0000 (14:51 -0700)
1  2 
kern/src/pmap.c

diff --cc kern/src/pmap.c
@@@ -289,27 -375,13 +289,29 @@@ void* user_mem_check(env_t *env, const 
        return (void *COUNT(len))TC(va);
  }
  
- size_t user_mem_strlcpy(env_t *env, char *dst, const char *DANGEROUS va,
-                  size_t len, int perm)
 +/**
 + * @brief Use the kernel to copy a string from a buffer stored in userspace
 + *        to a buffer stored elsewhere in the address space (potentially in 
 + *        memory only accessible by the kernel)
 + *
 + * @param env  the environment associated with the user program from which
 + *             the string is being copied
 + * @param dst  the destination of the buffer into which the string 
 + *             is being copied
 + * @param va   the start address of the buffer where the string resides
 + * @param len  the length of the buffer 
 + * @param perm the permissions with which the user is trying to access 
 + *             elements of the original buffer 
 + *
 + * @return LEN the length of the new buffer copied into 'dst'
 + */
+ size_t
+ user_mem_strlcpy(env_t *env, char *dst, const char *DANGEROUS va,
+                  size_t _len, int perm)
  {
        const char *DANGEROUS src = va;
-       char *NT COUNT(len-1) dst_in = dst;
+       size_t len = _len;
+       char *NT COUNT(_len-1) dst_in = dst;
  
        if (len > 0) {
                while (1) {