RADPx-OS Kernel (Radical Posix OS)  Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
Public Attributes | List of all members
rad_irq_info Struct Reference

Public data structure for rad_irq_info. More...

#include <radkernel.h>

Public Attributes

uint32_t irq
 Public structure field.
 
char name [RAD_IRQ_NAME_MAX]
 Public structure field.
 
int registered
 Public structure field.
 
int enabled
 Public structure field.
 
uint64_t count
 Public structure field.
 
uint64_t unhandled_count
 Public structure field.
 

Detailed Description

Public data structure for rad_irq_info.

The documentation for this struct was generated from the following file: