#include <resources.hpp>

Public Types | |
|
typedef detail::resource_region < l4_port_t > | port_region |
|
typedef detail::resource_region < l4_gpa_t > | memory_region |
Static Public Member Functions | |
| static const resource_descriptor * | get (const string &name) |
| Returns a descriptor by name or NULL, if no valid name was given. | |
| static const resource_descriptor * | get (const l4_port_t port) |
| Returns a descriptor containing the specified port or NULL, if none was found. | |
Public Attributes | |
| const char * | name |
| The device's name (or resource group identifier). | |
| port_region | ports [NUM_PORTS+1] |
| Array of port ranges (inclusive) this device typically decodes. | |
| memory_region | memory [NUM_MEMORY+1] |
| Array of memory ranges (inclusive) this device typically decodes. | |
| l4_irq_t | irqs [NUM_IRQS+1] |
| Array of IRQs this device typically asserts. | |
Static Public Attributes | |
| static const uint8_t | NUM_PORTS = 4 |
| Number of allowed port range definitions. | |
| static const uint8_t | NUM_MEMORY = 1 |
| Number of allowed memory range definitions. | |
| static const uint8_t | NUM_IRQS = 2 |
| Number of allowed IRQ definitions. | |