L4Re - L4 Runtime Environment
l4_vcpu_ipc_regs_t Struct Reference

vCPU message registers. More...

#include <__vcpu-arch.h>

+ Collaboration diagram for l4_vcpu_ipc_regs_t:

Detailed Description

vCPU message registers.

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


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