Constant XSHAL_KERNEL_VECTOR_SIZE 

pub const XSHAL_KERNEL_VECTOR_SIZE: u32 = 56;