L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
vcpu_context File Reference

Hardware vCPU context interface. More...

#include <l4/sys/vcpu_context.h>
+ Include dependency graph for vcpu_context:

Go to the source code of this file.

Namespaces

namespace  L4
 L4 low-level kernel interface.
 

Detailed Description

Hardware vCPU context interface.

Definition in file vcpu_context.