Index: uspace/lib/c/arch/ia32/include/faddr.h
===================================================================
--- uspace/lib/c/arch/ia32/include/faddr.h	(revision c7bbf029477192dc16abf12a6c8de1c3181d7867)
+++ uspace/lib/c/arch/ia32/include/faddr.h	(revision 164c65321e3d4b1a155139e02a117295b04ac2dd)
@@ -38,5 +38,5 @@
 #include <libarch/types.h>
 
-#define FADDR(fptr)  ((uintptr_t) (fptr))
+#define FADDR(fptr)		((uintptr_t) (fptr))
 
 #endif