/*---------------------------------------------------------------------------*
  Project:  Cafe
  File:     OSLaunch.h

  Copyright (C) 2011 Nintendo.  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.

 *---------------------------------------------------------------------------*/

#ifndef __OS_LAUNCH_H__
#define __OS_LAUNCH_H__

#include <types.h>

#ifdef __cplusplus
extern "C" {
#endif

#define OS_ARGS_SIZE    4096    // Total single argv buffer size
#define OS_MAX_NUM_ARGS 32      

#define OSLAUNCH_TITLEID_INVALID  ((u64)-1)
#define OSLAUNCH_TITLEID_COLDBOOT ((u64)-2)
#define OSLAUNCH_TITLEID_SYSMENU  ((u64)-3)

int OSLaunchTitlev(u64 titleId, u32 argc, char *argv[]);
int OSLaunchTitlel(u64 titleId, u32 argc, ... /*, const char* arg1, ...*/);
int OSLaunchTitleByPathv(const char* path, u32 pathLen, u32 argc, char *argv[]);
int OSLaunchTitleByPathl(const char* path, u32 pathLen, u32 argc, ... /*, const char* arg1, ...*/);

int OSRestartGame(u32 argc, char *argv[]);

void OSForceFullRelaunch(void);

u32 __OSSetLaunchTimeout(u32 aTimeoutMs);

#ifdef __cplusplus
}
#endif

#endif // __OS_LAUNCH_H__