L4Re Operating System Framework
Interface and Usage Documentation
|
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. | |