Changeset b878df3 in mainline

Timestamp:

2007-09-29T10:53:16Z (17 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0dc4258

Parents:

07e4a3c

Message:

Rename as_get_size() to as_area_get_size() and add a doxygen comment.

Location:

kernel/generic

Files:

• include/mm/as.h (modified) (1 diff)
• src/ipc/sysipc.c (modified) (1 diff)
• src/mm/as.c (modified) (1 diff)

kernel/generic/include/mm/as.h

@@ -273 +273 @@
 extern int as_area_get_flags(as_area_t *area);
 extern bool as_area_check_access(as_area_t *area, pf_access_t access);
-extern size_t as_get_size(uintptr_t base);
+extern size_t as_area_get_size(uintptr_t base);
 extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);
 extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);

kernel/generic/src/ipc/sysipc.c

@@ -257 +257 @@
                 break;
         case IPC_M_AS_AREA_SEND:
-                size = as_get_size(IPC_GET_ARG1(call->data));
+                size = as_area_get_size(IPC_GET_ARG1(call->data));
                 if (!size)
                         return EPERM;

kernel/generic/src/mm/as.c

@@ -1224 +1224 @@
 }
 
-/** Return size of the address space area with given base.  */
-size_t as_get_size(uintptr_t base)
+/** Return size of the address space area with given base.
+ *
+ * @param base          Arbitrary address insede the address space area.
+ *
+ * @return              Size of the address space area in bytes or zero if it
+ *                      does not exist.
+ */
+size_t as_area_get_size(uintptr_t base)
 {
         ipl_t ipl;