L4Re Operating System Framework
Interface and Usage Documentation
|
vCPU support library (C++ interface). More...
Go to the source code of this file.
Data Structures | |
class | L4vcpu::State |
C++ implementation of state word in the vCPU area. More... | |
class | L4vcpu::Vcpu |
C++ implementation of the vCPU save state area. More... | |
vCPU support library (C++ interface).
Definition in file vcpu.