l4_vhw_entry Struct Reference
[Virtual hardware devices]

Description of a device. More...

#include <vhw.h>

Data Fields
enum l4_vhw_entry_type	type
	Type of virtual hardware.
l4_uint32_t	provider_pid
	Host PID of the VHW provider.
l4_addr_t	mem_start
	Start of memory region.
l4_addr_t	mem_size
	Size of memory region.
l4_uint32_t	irq_no
	IRQ number.
l4_uint32_t	fd
	File descriptor.

---

Detailed Description

Description of a device.

Definition at line 35 of file vhw.h.

---

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

• vhw.h