L4Re - L4 Runtime Environment
|
extended vCPU handling functionality. More...
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. |