Constant sgx_types::SGX_FLAGS_MODE64BIT

pub const SGX_FLAGS_MODE64BIT: uint64_t = 0x0000_0000_0000_0004;