Constant sgx_types::SGX_FLAGS_RESERVED

pub const SGX_FLAGS_RESERVED: uint64_t = !(SGX_FLAGS_INITTED
                                                | SGX_FLAGS_DEBUG
                                                | SGX_FLAGS_MODE64BIT
                                                | SGX_FLAGS_PROVISION_KEY
                                                | SGX_FLAGS_EINITTOKEN_KEY
                                                | SGX_FLAGS_KSS); // 18_446_744_073_709_551_432u64