Constant sgx_types::TSEAL_DEFAULT_FLAGSMASK

pub const TSEAL_DEFAULT_FLAGSMASK: uint64_t = !FLAGS_NON_SECURITY_BITS; // 18_374_686_479_671_623_691u64