Constant XCHAL_HAVE_HIFI4_VFPU 

pub const XCHAL_HAVE_HIFI4_VFPU: u32 = 0;