Data Fields
genpaddr_t	mr_base
	Address of the start of the region.

enum region_type	mr_type
	Type of region.

gensize_t	mr_bytes
	Size in bytes.

bool	mr_consumed
	Flag for user code to mark region consumed.

size_t	mrmod_size
	Size in bytes (module type only)

ptrdiff_t	mrmod_data
	Offset of module string (module type only)

int	mrmod_slot
	First slot containing caps (module only)

Detailed Description

A memory region.

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

Data Fields