L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
l4_vcpu_arch_state_t Struct Reference

Architecture-specific vCPU state. More...

#include <__vcpu-arch.h>

+ Collaboration diagram for l4_vcpu_arch_state_t:

Detailed Description

Architecture-specific vCPU state.

Definition at line 85 of file __vcpu-arch.h.


The documentation for this struct was generated from the following files: