Index: kernel/arch/amd64/include/memstr.h
===================================================================
--- kernel/arch/amd64/include/memstr.h	(revision a70bda4b7e660fc2b806d568769f69df5006fd24)
+++ kernel/arch/amd64/include/memstr.h	(revision bdd16005b053a10072e178c234e2ba090dda380f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64	
+/** @addtogroup amd64
  * @{
  */
@@ -38,8 +38,6 @@
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
 
-extern void memsetw(void *dst, size_t cnt, uint16_t x);
-extern void memsetb(void *dst, size_t cnt, uint8_t x);
-
-extern int memcmp(const void *a, const void *b, size_t cnt);
+extern void memsetw(void *, size_t, uint16_t);
+extern void memsetb(void *, size_t, uint8_t);
 
 #endif
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision a70bda4b7e660fc2b806d568769f69df5006fd24)
+++ kernel/arch/amd64/src/debugger.c	(revision bdd16005b053a10072e178c234e2ba090dda380f)
@@ -201,7 +201,5 @@
 
 	/* Send IPI */
-#ifdef CONFIG_SMP
 //	ipi_broadcast(VECTOR_DEBUG_IPI);
-#endif	
 
 	return curidx;
@@ -262,7 +260,5 @@
 	spinlock_unlock(&bkpoint_lock);
 	interrupts_restore(ipl);
-#ifdef CONFIG_SMP
-//	ipi_broadcast(VECTOR_DEBUG_IPI);	
-#endif
+//	ipi_broadcast(VECTOR_DEBUG_IPI);
 }