L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
vcpu.h File Reference

vCPU support library (C interface). More...

#include <l4/sys/vcpu.h>
#include <l4/sys/utcb.h>
#include <l4/sys/ipc.h>
#include <l4/vcpu/vcpu_arch.h>
+ Include dependency graph for vcpu.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void l4vcpu_irq_disable (l4_vcpu_state_t *vcpu) L4_NOTHROW
 Disable a vCPU for event delivery.
 
unsigned l4vcpu_irq_disable_save (l4_vcpu_state_t *vcpu) L4_NOTHROW
 Disable a vCPU for event delivery and return previous state.
 
void l4vcpu_irq_enable (l4_vcpu_state_t *vcpu, l4_utcb_t *utcb, l4vcpu_event_hndl_t do_event_work_cb, l4vcpu_setup_ipc_t setup_ipc) L4_NOTHROW
 Enable a vCPU for event delivery.
 
void l4vcpu_irq_restore (l4_vcpu_state_t *vcpu, unsigned s, l4_utcb_t *utcb, l4vcpu_event_hndl_t do_event_work_cb, l4vcpu_setup_ipc_t setup_ipc) L4_NOTHROW
 Restore a previously saved IRQ/event state.
 
void l4vcpu_wait_for_event (l4_vcpu_state_t *vcpu, l4_utcb_t *utcb, l4vcpu_event_hndl_t do_event_work_cb, l4vcpu_setup_ipc_t setup_ipc) L4_NOTHROW
 Wait for event.
 
void l4vcpu_print_state (const l4_vcpu_state_t *vcpu, const char *prefix) L4_NOTHROW
 Print the state of a vCPU.
 
int l4vcpu_is_irq_entry (l4_vcpu_state_t const *vcpu) L4_NOTHROW
 Return whether the entry reason was an IRQ/IPC message.
 
int l4vcpu_is_page_fault_entry (l4_vcpu_state_t const *vcpu) L4_NOTHROW
 Return whether the entry reason was a page fault.
 
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.
 

Detailed Description

vCPU support library (C interface).

Definition in file vcpu.h.