L4Re Operating System Framework
Interface and Usage Documentation
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.