Constant XCHAL_INTLEVEL4_VECOFS 

pub const XCHAL_INTLEVEL4_VECOFS: u32 = 512;