Constant MACHINE_CHECK_IST_STACK_INDEX 

pub const MACHINE_CHECK_IST_STACK_INDEX: usize = 3;