Public Member Functions | |
| void | init_ping ([in] long value,[out] long *not_value) |
| helper function to check for roottask availability | |
| long | set_small_space ([in] l4_threadid_t tid,[in] long num) |
| Move a task into an allocated small space. | |
| long | set_prio ([in] l4_threadid_t tid,[in] long prio) |
| Set priority of a thread. | |
| long | get_prio ([in] l4_threadid_t tid,[out] long *prio) |
| Query prio without rmgr involvement. | |
| long | get_task ([in] long num) |
| Request roottask to transfer right for a task to the caller. | |
| long | free_task ([in] long num) |
| Pass right for a task back to roottask. | |
| long | free_task_all ([in] l4_threadid_t tid) |
| Free all L4 tasks occupied for a specific task. | |
| long | task_new ([in] l4_taskid_t tid,[in] l4_umword_t mcp_or_chief,[in] l4_umword_t esp,[in] l4_umword_t eip,[in] l4_threadid_t pager,[in] l4_threadid_t caphandler,[in] l4_quota_desc_t kquota,[in] l4_umword_t sched_param,[out] l4_taskid_t *ntid) |
| Create a new task. | |
| long | get_irq ([in] int num) |
| Request riht to associate with IRQ to the caller. | |
| long | free_irq ([in] int num) |
| Pass right for IRQ back to roottask. | |
| long | free_irq_all ([in] l4_threadid_t tid) |
| Free all IRQs occupied for a task. | |
| long | free_fpage ([in] l4_umword_t fp) |
| Free the I/O ports defined by a flexpage (I/O memory page). | |
| long | free_page ([in] l4_addr_t address) |
| Free the specified memory page. | |
| long | dump_mem () |
| Dump the memory map of the roottask. | |
| long | reserve_mem ([in] l4_addr_t size,[in] l4_addr_t align,[in] int flags,[in] l4_addr_t low,[in] l4_addr_t high,[out] l4_addr_t *addr) |
| Reserve memory at the roottask. | |
| long | free_mem_all ([in] l4_threadid_t tid) |
| Free all memory occupied by the target task. | |
| void | get_page0 ([out] fpage *page0) |
| Request the first physical page (roottask does not hand out \ this page on pagefaults). | |
| long | get_task_id ([in, string] char *modname,[out] l4_threadid_t *tid) |
| Request the task ID of the boot module named by modname. | |
| long | set_task_id ([in, string] char *modname,[in] l4_threadid_t tid) |
| Specify the name of a boot module. | |
| long | privctrl ([in] int command,[in] int param) |
| Executes the privctrl system call. | |
Definition at line 25 of file rmgr.idl.
| void rmgr::init_ping | ( | [in] long | value, | |
| [out] long * | not_value | |||
| ) |
helper function to check for roottask availability
| value | test value | |
| not_value | negated input value |
| long rmgr::set_small_space | ( | [in] l4_threadid_t | tid, | |
| [in] long | num | |||
| ) |
Move a task into an allocated small space.
| tid | ID of corresponding L4 task | |
| num | number of small spac |
| long rmgr::set_prio | ( | [in] l4_threadid_t | tid, | |
| [in] long | prio | |||
| ) |
Set priority of a thread.
| tid | target thread ID | |
| prio | new thread priority |
| long rmgr::get_prio | ( | [in] l4_threadid_t | tid, | |
| [out] long * | prio | |||
| ) |
Query prio without rmgr involvement.
| tid | target thread ID |
| prio | priority |
| long rmgr::get_task | ( | [in] long | num | ) |
Request roottask to transfer right for a task to the caller.
| num | task number |
| long rmgr::free_task | ( | [in] long | num | ) |
Pass right for a task back to roottask.
| num | task number |
| long rmgr::free_task_all | ( | [in] l4_threadid_t | tid | ) |
Free all L4 tasks occupied for a specific task.
| tid | taget task ID |
| long rmgr::task_new | ( | [in] l4_taskid_t | tid, | |
| [in] l4_umword_t | mcp_or_chief, | |||
| [in] l4_umword_t | esp, | |||
| [in] l4_umword_t | eip, | |||
| [in] l4_threadid_t | pager, | |||
| [in] l4_threadid_t | caphandler, | |||
| [in] l4_quota_desc_t | kquota, | |||
| [in] l4_umword_t | sched_param, | |||
| [out] l4_taskid_t * | ntid | |||
| ) |
Create a new task.
| tid | the task ID of the new task | |
| mcp_or_chief | priority of new task | |
| esp | stack pointer for new task's stack | |
| eip | instruction pointer of initial function | |
| pager | ID of task's pager | |
| caphandler | ID of task's capability fault handler | |
| kquota | kernel memory quota | |
| sched_param | scheduling parameter |
| ntid | the acually allocated thread ID |
| long rmgr::get_irq | ( | [in] int | num | ) |
Request riht to associate with IRQ to the caller.
| num | the IRQ number |
| long rmgr::free_irq | ( | [in] int | num | ) |
Pass right for IRQ back to roottask.
| num | the IRQ number |
| long rmgr::free_irq_all | ( | [in] l4_threadid_t | tid | ) |
Free all IRQs occupied for a task.
| tid | the task number |
| long rmgr::free_fpage | ( | [in] l4_umword_t | fp | ) |
Free the I/O ports defined by a flexpage (I/O memory page).
| fp | the flexpage containing the I/O memory page |
| long rmgr::free_page | ( | [in] l4_addr_t | address | ) |
Free the specified memory page.
| address | an address for which the corresponding memory page \ should be freed |
| long rmgr::dump_mem | ( | ) |
Dump the memory map of the roottask.
| long rmgr::reserve_mem | ( | [in] l4_addr_t | size, | |
| [in] l4_addr_t | align, | |||
| [in] int | flags, | |||
| [in] l4_addr_t | low, | |||
| [in] l4_addr_t | high, | |||
| [out] l4_addr_t * | addr | |||
| ) |
Reserve memory at the roottask.
| size | the size of memory to allocate | |
| align | alignment of the memory chunk | |
| flags | flags for the reserved memory region | |
| low | lower bound of the area where the memory should be \ allocated | |
| high | upper bound of the area where the memory should be \ allocated |
| addr | the address of the actually reserved memory chunk |
| long rmgr::free_mem_all | ( | [in] l4_threadid_t | tid | ) |
Free all memory occupied by the target task.
| tid | the ID of the task |
| void rmgr::get_page0 | ( | [out] fpage * | page0 | ) |
Request the first physical page (roottask does not hand out \ this page on pagefaults).
| page0 | the flexpage containing the zero page |
| long rmgr::get_task_id | ( | [in, string] char * | modname, | |
| [out] l4_threadid_t * | tid | |||
| ) |
Request the task ID of the boot module named by modname.
| modname | the name of the requested module |
| tid | the ID of the module |
| long rmgr::set_task_id | ( | [in, string] char * | modname, | |
| [in] l4_threadid_t | tid | |||
| ) |
Specify the name of a boot module.
| modname | the name of the module to specify the ID for | |
| tid | the task ID for the module |
| long rmgr::privctrl | ( | [in] int | command, | |
| [in] int | param | |||
| ) |
Executes the privctrl system call.
| command | ignored | |
| param | ignored |