Changeset 8fe5980 in mainline

Timestamp:

2008-12-16T18:59:07Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

76fca31

Parents:

9cc492a7

Message:

cstyle & small fixes

Files:

• kernel/arch/amd64/src/amd64.c (modified) (1 diff)
• kernel/arch/ia32/include/cpu.h (modified) (1 diff)
• kernel/arch/ia32/include/mm/as.h (modified) (1 diff)
• kernel/arch/ia32xen/src/mm/tlb.c (modified) (1 diff)
• kernel/arch/mips32/include/mm/asid.h (modified) (1 diff)
• uspace/lib/libc/include/string.h (modified) (1 diff)

kernel/arch/amd64/src/amd64.c

@@ -211 +211 @@
         i8042_grab();
 }
+
 /** Return console to userspace
  *

kernel/arch/ia32/include/cpu.h

@@ -52 +52 @@
 
 typedef struct {
-        int vendor;
-        int family;
-        int model;
-        int stepping;
+        unsigned int vendor;
+        unsigned int family;
+        unsigned int model;
+        unsigned int stepping;
         struct tss *tss;
         

kernel/arch/ia32/include/mm/as.h

@@ -43 +43 @@
 #define USER_ADDRESS_SPACE_END_ARCH             ((unsigned long) 0x7fffffff)
 
-#define USTACK_ADDRESS_ARCH     (USER_ADDRESS_SPACE_END_ARCH-(PAGE_SIZE-1))
+#define USTACK_ADDRESS_ARCH     (USER_ADDRESS_SPACE_END_ARCH - (PAGE_SIZE - 1))
 
 typedef struct {

kernel/arch/ia32xen/src/mm/tlb.c

@@ -64 +64 @@
  * @param cnt Number of entries to invalidate.
  */
-void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
+void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt)
 {
         unsigned int i;

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

@@ -38 +38 @@
 #include <arch/types.h>
 
-#define ASID_MAX_ARCH           255     /* 2^8 - 1 */
+#define ASID_MAX_ARCH  255    /* 2^8 - 1 */
 
 typedef uint8_t asid_t;

uspace/lib/libc/include/string.h

@@ -38 +38 @@
 #include <sys/types.h>
 
-#define bzero(ptr, len) memset((ptr), 0, (len))
+#define bzero(ptr, len)  memset((ptr), 0, (len))
 
 extern void * memset(void *, int, size_t);