grtos.h

Go to the documentation of this file.

 
/******************************************************************************
*                                                                             *
* License Agreement                                                           *
* Copyright (c) Ricardo L. Cayssials                                          *
* All rights reserved.                                                        *
*                                                                             *
******************************************************************************/
 
 
#ifndef __GRTOS_H__
#define __GRTOS_H__
 
#include <system.h>
#include <stddef.h>
 
#include "sys/alt_alarm.h"
#include "sys/alt_warning.h"
 
#include "os/alt_sem.h"
#include "os/alt_flag.h"
 
 
 
 
#ifdef __cplusplus
extern "C"
{
#endif /* __cplusplus */
 
/* 
 * If the user wants all drivers to be small rather than fast then make sure
 * this one is marked as needing to be small.
 */
#if defined ALT_USE_SMALL_DRIVERS && !defined GRTOS_SMALL
#define GRTOS_SMALL
#endif
 
/*
* Definition of GRTOS variables
*/
// void *GRTOS_BASE;
// void *GRTOS_MONITOR_BASE;
 
/*
 * Macros used by alt_sys_init when the ALT file descriptor facility isn't used.
 */
 
 
#define GRTOS_INIT(name, dev)  
 
#define GRTOS_INSTANCE(name, grtosstate)
 
#ifdef __cplusplus
}
#endif /* __cplusplus */
 
#endif /* __ALT_AVALON_JTAG_UART_H__ */