Constant EF_RISCV_TSO 

pub const EF_RISCV_TSO: u32 = 0x0010;