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;
}
