Procedural macros for IRQL safety
Compile-time IRQL safety for Windows kernel drivers
IRQL-aware kernel pool allocator types (requires nightly)
Core types and traits for IRQL safety