Index: libcfa/src/concurrency/kernel.hfa
===================================================================
--- libcfa/src/concurrency/kernel.hfa	(revision 6a823241f523e2ed232755b1a5401712de96e95c)
+++ libcfa/src/concurrency/kernel.hfa	(revision da81b849ae2b320b5a4c2cef64756a4105b72ed9)
@@ -173,5 +173,5 @@
 
 static inline void  ?{}(__timestamp_t & this) { this.tv = 0; this.ma = 0; }
-static inline void ^?{}(__timestamp_t & this) {}
+static inline void ^?{}(__timestamp_t &) {}
 
 struct __attribute__((aligned(128))) __ready_queue_caches_t;
Index: libcfa/src/stdlib.hfa
===================================================================
--- libcfa/src/stdlib.hfa	(revision 6a823241f523e2ed232755b1a5401712de96e95c)
+++ libcfa/src/stdlib.hfa	(revision da81b849ae2b320b5a4c2cef64756a4105b72ed9)
@@ -209,9 +209,9 @@
 
 	forall( TT... | { T * alloc_internal$( void *, T *, size_t, size_t, S_fill(T), TT ); } ) {
-		T * alloc_internal$( void *       , T * Realloc, size_t Align, size_t Dim, S_fill(T) Fill, T_resize Resize, TT rest) {
+		T * alloc_internal$( void *       , T *        , size_t Align, size_t Dim, S_fill(T) Fill, T_resize Resize, TT rest) {
 	        return alloc_internal$( Resize, (T*)0p, Align, Dim, Fill, rest);
 		}
 
-		T * alloc_internal$( void * Resize, T *        , size_t Align, size_t Dim, S_fill(T) Fill, S_realloc(T) Realloc, TT rest) {
+		T * alloc_internal$( void *        , T *        , size_t Align, size_t Dim, S_fill(T) Fill, S_realloc(T) Realloc, TT rest) {
 	        return alloc_internal$( (void*)0p, Realloc, Align, Dim, Fill, rest);
 		}
@@ -389,5 +389,5 @@
 // Declaration :
 //   PRNG sprng = { 1009 } - set starting seed versus random seed
-//   
+//
 // Interface :
 //   set_seed( sprng, 1009 ) - set starting seed for ALL kernel threads versus random seed