Constant EF_RISCV_FLOAT_ABI_DOUBLE

pub const EF_RISCV_FLOAT_ABI_DOUBLE: u32 = 0x0004;