dde_region Struct Reference
region data type
More...
#include <internal.h>
List of all members.
|
Public Attributes |
|
l4_addr_t | va |
| | virtual start address
|
|
l4_addr_t | pa |
| | physical start address
|
|
l4_size_t | size |
| | region size
|
|
struct dde_region * | next |
| | next region pointer
|
Detailed Description
region data type
Definition at line 30 of file internal.h.
The documentation for this struct was generated from the following file:
- /tmp/l4check/full_tree/trunk/l4/pkg/dde_linux/lib/include/internal.h