Constant XCHAL_HAVE_USER_DPFPU 

pub const XCHAL_HAVE_USER_DPFPU: u32 = 0;