Constant XCHAL_HAVE_HIGHPRI_INTERRUPTS 

pub const XCHAL_HAVE_HIGHPRI_INTERRUPTS: u32 = 1;