|
PatchworkOS
a7b3d61
A non-POSIX operating system.
|
ACPI IRQ resource descriptor. More...
#include <resources.h>
Data Fields | |
| acpi_resource_small_t | header |
| uint16_t | mask |
| Mask of IRQs used by the device, bit 0 = IRQ 0, bit 1 = IRQ 1, etc.. | |
ACPI IRQ resource descriptor.
length field in the header is 2 or 3. To maintain type safety we do not include this byte in the structure. Instead use the ACPI_IRQ_DESCRIPTOR_INFO() macro to access it if needed. Definition at line 78 of file resources.h.
| acpi_resource_small_t acpi_irq_descriptor_t::header |
Definition at line 80 of file resources.h.
| uint16_t acpi_irq_descriptor_t::mask |
Mask of IRQs used by the device, bit 0 = IRQ 0, bit 1 = IRQ 1, etc..
Definition at line 81 of file resources.h.