pub const EF_RISCV_FLOAT_ABI_MASK: u32 = 0x0006;
This is used as a mask to test for one of the above floating-point ABIs, e.g., (e_flags & EF_RISCV_FLOAT_ABI) == EF_RISCV_FLOAT_ABI_DOUBLE.