![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
vCPU message registers. More...
#include <__vcpu-arch.h>
Collaboration diagram for l4_vcpu_ipc_regs_t:vCPU message registers.
Definition at line 83 of file __vcpu-arch.h.