L4Re Operating System Framework – Interface and Usage Documentation
|
Common factory related definitions. More...
#include <l4/sys/compiler.h>
#include <l4/sys/types.h>
#include <l4/sys/utcb.h>
#include <l4/sys/ipc.h>
Go to the source code of this file.
Functions | |
l4_msgtag_t | l4_factory_create_task (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_fpage_t utcb_area) L4_NOTHROW |
Create a new task. | |
l4_msgtag_t | l4_factory_create_thread (l4_cap_idx_t factory, l4_cap_idx_t target_cap) L4_NOTHROW |
Create a new thread. | |
l4_msgtag_t | l4_factory_create_factory (l4_cap_idx_t factory, l4_cap_idx_t target_cap, unsigned long limit) L4_NOTHROW |
Create a new factory. | |
l4_msgtag_t | l4_factory_create_gate (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_cap_idx_t thread_cap, l4_umword_t label) L4_NOTHROW |
Create a new IPC gate. | |
l4_msgtag_t | l4_factory_create_irq (l4_cap_idx_t factory, l4_cap_idx_t target_cap) L4_NOTHROW |
Create a new IRQ sender. | |
l4_msgtag_t | l4_factory_create_vm (l4_cap_idx_t factory, l4_cap_idx_t target_cap) L4_NOTHROW |
Create a new virtual machine. | |
l4_msgtag_t | l4_factory_create (l4_cap_idx_t factory, long obj, l4_cap_idx_t target) L4_NOTHROW |
Create a new object. | |
Common factory related definitions.
Definition in file factory.h.