L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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 94 of file __vcpu-arch.h.


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