Constant DOUBLE_FAULT_VECTOR

Source
pub const DOUBLE_FAULT_VECTOR: u8 = 8;