/*
* Copyright (c) 2008-2009 Nokia Corporation and/or its subsidiary(-ies).
* All rights reserved.
* This component and the accompanying materials are made available
* under the terms of "Eclipse Public License v1.0"
* which accompanies this distribution, and is available
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
*
* Initial Contributors:
* Nokia Corporation - initial contribution.
*
* Contributors:
*
* Description:
* Name        : wsd_streams.h
* Part of     : standard c++ library.
* 
*
*/



#ifndef WSD_STREAMS_H_
#define WSD_STREAMS_H_



/********************** stream related ****************/
inline long& std::ios_base::Init::get_ios_base_Init_S_count()
	{
		return get_libcpp_wsd().ios_base_Init_S_count;
	}

//_ios_base.h
inline bool& std::ios_base::get_ios_base_S_was_synced()
	{
		return get_libcpp_wsd().ios_base_S_was_synced;
	}
//ios.cpp - function static in ios_base::xalloc()
inline int& get_ios_base_xalloc_S_index()
	{
	return get_libcpp_wsd().ios_base_xalloc_S_index;
	}

//ios.cpp - function static in ios_base::xalloc()
inline std::_STLP_STATIC_MUTEX& get_ios_base_xalloc_lock()
	{
	return get_libcpp_wsd().ios_base_xalloc_lock;
	}


#endif /*WSD_STREAMS_H_*/