L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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.