Constant DOUBLE_FAULT_VECTOR

pub const DOUBLE_FAULT_VECTOR: u8 = 8;