#include <l4/sys/ipc.h>
#include <l4/sys/syscalls.h>
#include <l4/sys/kdebug.h>
#include <l4/util/stack.h>
#include <l4/log/l4log.h>
#include <l4/names/libnames.h>
#include <stdio.h>
#include <stdlib.h>
#include "globals.h"
#include "create_threads.h"
#include "irq_threads.h"
Go to the source code of this file.
Functions | |
int | create_threads_sync () |
Separated IRQ thread creation. |
Definition in file create_threads.c.
int create_threads_sync | ( | void | ) |