Constant IRQ_SYSTIMER_TARGET1_EDGE 

pub const IRQ_SYSTIMER_TARGET1_EDGE: u32 = 38;