Constant XCHAL_USER_VECOFS 

pub const XCHAL_USER_VECOFS: u32 = 832;