Constant DOUBLE_FAULT_IST_STACK_INDEX 

pub const DOUBLE_FAULT_IST_STACK_INDEX: usize = 0;