Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/amd64/src/amd64.c	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -211,4 +211,5 @@
 	i8042_grab();
 }
+
 /** Return console to userspace
  *
Index: kernel/arch/ia32/include/cpu.h
===================================================================
--- kernel/arch/ia32/include/cpu.h	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/ia32/include/cpu.h	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -52,8 +52,8 @@
 
 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;
 	
Index: kernel/arch/ia32/include/mm/as.h
===================================================================
--- kernel/arch/ia32/include/mm/as.h	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/ia32/include/mm/as.h	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -43,5 +43,5 @@
 #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 {
Index: kernel/arch/ia32xen/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32xen/src/mm/tlb.c	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/ia32xen/src/mm/tlb.c	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -64,5 +64,5 @@
  * @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;
Index: kernel/arch/mips32/include/mm/asid.h
===================================================================
--- kernel/arch/mips32/include/mm/asid.h	(revision 9cc492a72d7ae9d1becad89c037850eebce44ba1)
+++ kernel/arch/mips32/include/mm/asid.h	(revision 8fe5980e42d82b7d2d7e089fc06a6048def9ee08)
@@ -38,5 +38,5 @@
 #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;