extern void sys_cond_broadcast (sys_cond_t *);
extern void sys_cond_destroy (sys_cond_t *);
-extern sys_thread_t sys_thread_self (void)
- NODISCARD;
-extern bool sys_thread_equal (sys_thread_t, sys_thread_t)
- NODISCARD;
-
-extern bool sys_thread_create (sys_thread_t *, thread_creation_function *,
- void *)
- NODISCARD;
+NODISCARD extern sys_thread_t sys_thread_self (void);
+NODISCARD extern bool sys_thread_equal (sys_thread_t, sys_thread_t);
+
+NODISCARD extern bool sys_thread_create (sys_thread_t *,
+ thread_creation_function *, void *);
extern void sys_thread_yield (void);
extern void sys_thread_set_name (const char *);