/**************************************************************************
 *									  *
 *		 Copyright (C) 1994, Silicon Graphics, Inc.		  *
 *									  *
 *  These coded instructions, statements, and computer programs  contain  *
 *  unpublished  proprietary  information of Silicon Graphics, Inc., 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 Silicon Graphics, Inc.  *
 *									  *
 **************************************************************************/

#include "osint.h"
#include <ramrom.h>
#ifdef BBPLAYER
#include <bcp.h>
#include <bbint.h>
#endif

/*
 * osExit
 *
 * Post an event to the host and spin.
 */
void
osExit(void)
{
#ifdef BBPLAYER
	if (__osBbIsBb)
	    IO_READ(MI_SEC_MODE_REG);
	else
#endif
	__osGIOInterrupt(GAME_EXIT);
	for (;;);
}