L4Re - L4 Runtime Environment
Extended vCPU support

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...
 

Detailed Description

extended vCPU handling functionality.

Function Documentation

◆ l4vcpu_ext_alloc()

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.

Return values
vcpuAllocated vcpu-state area.
ext_stateAllocated extended vcpu-state area.
Parameters
taskTask to use for allocation.
regmgrRegion manager to use for allocation.
Returns
0 for success, error code otherwise