};
#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) \
if (l4_is_invalid_cap(__pthread_manager_request))
return;
__builtin_memcpy(l4_utcb_mr()->mr, r, sizeof(struct pthread_request));
- l4_msgtag_t tag = l4_msgtag(0,
- (sizeof(struct pthread_request) + sizeof(l4_umword_t) - 1) / sizeof(l4_umword_t),
- 0, 0);
+ l4_msgtag_t tag
+ = l4_msgtag(0,
+ (sizeof(struct pthread_request) + sizeof(l4_umword_t) - 1) / sizeof(l4_umword_t),
+ 0, L4_MSGTAG_SCHEDULE);
if (block)
l4_ipc_call(__pthread_manager_request, l4_utcb(), tag, L4_IPC_NEVER);
else
/* 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;