|
L4Re - L4 Runtime Environment
|
extended vCPU handling functionality. More...
Collaboration diagram for Extended vCPU support:Functions | |
| int | l4vcpu_ext_alloc (l4_vcpu_state_t **vcpu, l4_addr_t *ext_state, l4_cap_idx_t task, l4_cap_idx_t regmgr) L4_NOTHROW |
| Allocate state area for an extended vCPU. More... | |
extended vCPU handling functionality.
| int l4vcpu_ext_alloc | ( | l4_vcpu_state_t ** | vcpu, |
| l4_addr_t * | ext_state, | ||
| l4_cap_idx_t | task, | ||
| l4_cap_idx_t | regmgr | ||
| ) |
Allocate state area for an extended vCPU.
| vcpu | Allocated vcpu-state area. |
| ext_state | Allocated extended vcpu-state area. |
| task | Task to use for allocation. |
| regmgr | Region manager to use for allocation. |