pub const EF_RISCV_TSO: u32 = 0x0010;
This bit is set when the binary requires the RVTSO memory consistency model.