|
l4_msgtag_t | l4_factory_create_task (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_fpage_t const utcb_area) L4_NOTHROW |
| Create a new task. More...
|
|
l4_msgtag_t | l4_factory_create_task_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_fpage_t const utcb_area, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new task. More...
|
|
l4_msgtag_t | l4_factory_create_thread (l4_cap_idx_t factory, l4_cap_idx_t target_cap) L4_NOTHROW |
| Create a new thread. More...
|
|
l4_msgtag_t | l4_factory_create_thread_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new thread. More...
|
|
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. More...
|
|
l4_msgtag_t | l4_factory_create_factory_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, unsigned long limit, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new factory. More...
|
|
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. More...
|
|
l4_msgtag_t | l4_factory_create_gate_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_cap_idx_t thread_cap, l4_umword_t label, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new IPC gate. More...
|
|
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. More...
|
|
l4_msgtag_t | l4_factory_create_irq_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new IRQ. More...
|
|
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. More...
|
|
l4_msgtag_t | l4_factory_create_vm_u (l4_cap_idx_t factory, l4_cap_idx_t target_cap, l4_utcb_t *utcb) L4_NOTHROW |
| Create a new virtual machine. More...
|
|
Common factory related definitions.
Definition in file factory.h.