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
dde_region *	next
	next region pointer

---

Detailed Description

region data type

Definition at line 34 of file internal.h.

---

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

• internal.h

---