extern task_id_t _task_bitno;
/* Post task t. No need for ndi() since bit_set is a single instruction. */
-#define task_post(t) do { bit_set(_task_ids, t); } while (0)
+#define task_post(t) (bit_set(_task_ids, t))
/* Initialize the task subsystem */
-#define task_init() do { _task_ids = 0; _task_bitno = 0; } while (0)
+#define task_init() (_task_ids = 0)
/* Returns non-zero if one or more tasks are posted. Does not block. */
bit task_check();