Constant EXCEPTION_DOUBLE_FAULT

pub const EXCEPTION_DOUBLE_FAULT: u32 = 8u32;