Changeset 85147f3 in mainline

Timestamp:

2013-09-10T17:55:33Z (11 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

07525cd

Parents:

b0c2075

Message:

cstyle

Location:

kernel

Files:

• arch/mips32/include/arch/mm/page.h (modified) (1 diff)
• generic/include/adt/list.h (modified) (2 diffs)
• generic/include/config.h (modified) (2 diffs)

kernel/arch/mips32/include/arch/mm/page.h

@@ -196 +196 @@
         p->p = 1;
 }
-        
 
 extern void page_arch_init(void);

kernel/generic/include/adt/list.h

@@ -186 +186 @@
  * @return Head item of the list.
  * @return NULL if the list is empty.
+ *
  */
 static inline link_t *list_first(const list_t *list)
@@ -198 +199 @@
  * @return Head item of the list.
  * @return NULL if the list is empty.
+ *
  */
 static inline link_t *list_last(list_t *list)

kernel/generic/include/config.h

@@ -94 +94 @@
         /** Size of initial stack. */
         size_t stack_size;
-
+        
         bool identity_configured;
         /** Base address of the kernel identity mapped memory. */
@@ -100 +100 @@
         /** Size of the kernel identity mapped memory. */
         size_t identity_size;
-
-        bool non_identity_configured;   
-
+        
+        bool non_identity_configured;
+        
         /** End of physical memory. */
         uint64_t physmem_end;