|
RADPx-OS Kernel (Radical Posix OS)
Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
|
Public data structure for rad_irq_resource. More...
#include <radkernel.h>
Public Attributes | |
| uint32_t | irq |
| Public structure field. | |
| uint32_t | line |
| Public structure field. | |
| uint32_t | flags |
| Public structure field. | |
| rad_irq_trigger_t | trigger |
| Public structure field. | |
| char | domain [RAD_IRQ_DOMAIN_NAME_MAX] |
| Public structure field. | |
| char | controller_path [RAD_TREE_MAX_PATH] |
| Public structure field. | |
Public data structure for rad_irq_resource.