Constant SYSTEM_INTERRUPT_KW_WDF_INTERRUPT 

pub const SYSTEM_INTERRUPT_KW_WDF_INTERRUPT: u64 = 32u64;