I noticed this while testing the futex call. I don't know how to fix this. The code to reproduce this is the following:
extern int task_create(); struct task; typedef struct task *task_t; extern task_t kernel_task; int main(void) { task_t new_task; task_create(kernel_task, 0, &new_task); return 0; }