Constant SGPIO_INT0_IRQ1 

pub const SGPIO_INT0_IRQ1: u32 = 51;