|
L4Re - L4 Runtime Environment
|
Description of a device. More...
#include <vhw.h>
Collaboration diagram for l4_vhw_entry:Data Fields | |
| enum l4_vhw_entry_type | type |
| Type of virtual hardware. More... | |
| l4_uint32_t | provider_pid |
| Host PID of the VHW provider. More... | |
| l4_addr_t | mem_start |
| Start of memory region. More... | |
| l4_addr_t | mem_size |
| Size of memory region. More... | |
| l4_uint32_t | irq_no |
| IRQ number. More... | |
| l4_uint32_t | fd |
| File descriptor. More... | |
| l4_uint32_t l4_vhw_entry::fd |
| l4_uint32_t l4_vhw_entry::irq_no |
| l4_addr_t l4_vhw_entry::mem_size |
| l4_addr_t l4_vhw_entry::mem_start |
| l4_uint32_t l4_vhw_entry::provider_pid |
Host PID of the VHW provider.
| enum l4_vhw_entry_type l4_vhw_entry::type |
Type of virtual hardware.