L4Re Operating System Framework
Interface and Usage Documentation
|
Hardware vCPU context interface. More...
#include <l4/sys/vcpu_context.h>
Go to the source code of this file.
Namespaces | |
namespace | L4 |
L4 low-level kernel interface. | |
Hardware vCPU context interface.
Definition in file vcpu_context.