![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Architecture-specific vCPU state. More...
#include <__vcpu-arch.h>
Collaboration diagram for l4_vcpu_arch_state_t:Architecture-specific vCPU state.
Definition at line 74 of file __vcpu-arch.h.