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.