Constant XSHAL_NMI_VECTOR_SIZE 

pub const XSHAL_NMI_VECTOR_SIZE: u32 = 56;