Constant windows_sys::Wdk::System::SystemServices::EXCEPTION_DOUBLE_FAULT

pub const EXCEPTION_DOUBLE_FAULT: u32 = 8u32;