L4Re Operating System Framework
Interface and Usage Documentation
|
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>
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. | |
vCPU support library (C interface).
Definition in file vcpu.h.