L4Re - L4 Runtime Environment
|
Description of a device. More...
#include <vhw.h>
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.