/*---------------------------------------------------------------------------*
  Project:  NintendoWare
  File:     os_UtilityTWL.cpp

  Copyright (C)2009-2010 Nintendo Co., Ltd./HAL Laboratory, Inc.  All rights reserved.

  These coded instructions, statements, and computer programs contain
  proprietary information of Nintendo of America Inc. and/or Nintendo
  Company Ltd., and are protected by Federal copyright law.  They may
  not be disclosed to third parties or copied or duplicated in any form,
  in whole or in part, without the prior written consent of Nintendo.

  $Revision: 13145 $
 *---------------------------------------------------------------------------*/

#include <twl/types.h>
#include <twl/os.h>

namespace nw {
namespace os {

namespace internal {

/*!--------------------------------------------------------------------------*
  Name:        VPrintf

  @brief       引数リスト指定で書式付き文字列を出力します。

  @param[in]   fmt     出力文字列フォーマット
  @param[in]   vlist   可変長引数リスト

  @return      None.
 *---------------------------------------------------------------------------*/
void
VPrintf(const char *fmt, std::va_list vlist)
{
    OS_VPrintf(fmt, vlist);
}

} // namespace internal

/*!--------------------------------------------------------------------------*
  Name:        Halt

  @brief       プログラムを異常終了します。

  @return      None.
 *---------------------------------------------------------------------------*/
void
Halt()
{
    OS_Terminate();
}

/*!--------------------------------------------------------------------------*
  Name:        VSNPrintf

  @brief       引数リスト指定で、与えられたバッファへ書式付き文字列を出力します。

  @param[out]  dst 
  @param[in]   len 
  @param[in]   fmt     出力文字列フォーマット
  @param[in]   vlist   可変長引数リスト

  @return      出力文字列の文字列長 ('\0'を除く)
 *---------------------------------------------------------------------------*/
int
VSNPrintf(char* dst, size_t len, const char* fmt, std::va_list vlist)
{
    return OS_VSNPrintf(dst, len, fmt, vlist);
}


}  // namespace os
}  // namespace nw