vnode_identity Struct Reference

Values returned from the VNode identify invocation. More...

Data Fields
genpaddr_t	base
	Physical base address of the VNode.
uint8_t	type
	Type of VNode.

Detailed Description

Values returned from the VNode identify invocation.

---

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

• include/barrelfish_kpi/capabilities.h