};
#include <l4/sys/kdebug.h>
-#define UNIMPL(x...) do { outstring("UNIMPL\n"); /*printf("UNIMPLEMENTED:%s:%s %s:", __FILE__, __LINE__, __func__);*/ }while(0)
+#define UNIMPL(x...) do { outstring("UNIMPL: " x "\n"); } while(0)
#define PTHREAD_START_ARGS_INITIALIZER(fct) \
/* Internal global functions */
__BEGIN_DECLS
extern int __pthread_l4_initialize_main_thread(pthread_descr th) attribute_hidden;
+extern void __l4_add_utcbs(l4_addr_t start, l4_addr_t utcbs_end);
extern int __pthread_sched_idle_prio;