/*
    FreeRTOS V8.0.1 - Copyright (C) 2014 Real Time Engineers Ltd.
    All rights reserved

    VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.

    ***************************************************************************
     *                                                                       *
     *    FreeRTOS provides completely free yet professionally developed,    *
     *    robust, strictly quality controlled, supported, and cross          *
     *    platform software that has become a de facto standard.             *
     *                                                                       *
     *    Help yourself get started quickly and support the FreeRTOS         *
     *    project by purchasing a FreeRTOS tutorial book, reference          *
     *    manual, or both from: http://www.FreeRTOS.org/Documentation        *
     *                                                                       *
     *    Thank you!                                                         *
     *                                                                       *
    ***************************************************************************

    This file is part of the FreeRTOS distribution.

    FreeRTOS is free software; you can redistribute it and/or modify it under
    the terms of the GNU General Public License (version 2) as published by the
    Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.

    >>!   NOTE: The modification to the GPL is included to allow you to     !<<
    >>!   distribute a combined work that includes FreeRTOS without being   !<<
    >>!   obliged to provide the source code for proprietary components     !<<
    >>!   outside of the FreeRTOS kernel.                                   !<<

    FreeRTOS is distributed in the hope that it will be useful, but WITHOUT ANY
    WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
    FOR A PARTICULAR PURPOSE.  Full license text is available from the following
    link: http://www.freertos.org/a00114.html

    1 tab == 4 spaces!

    ***************************************************************************
     *                                                                       *
     *    Having a problem?  Start by reading the FAQ "My application does   *
     *    not run, what could be wrong?"                                     *
     *                                                                       *
     *    http://www.FreeRTOS.org/FAQHelp.html                               *
     *                                                                       *
    ***************************************************************************

    http://www.FreeRTOS.org - Documentation, books, training, latest versions,
    license and Real Time Engineers Ltd. contact details.

    http://www.FreeRTOS.org/plus - A selection of FreeRTOS ecosystem products,
    including FreeRTOS+Trace - an indispensable productivity tool, a DOS
    compatible FAT file system, and our tiny thread aware UDP/IP stack.

    http://www.OpenRTOS.com - Real Time Engineers ltd license FreeRTOS to High
    Integrity Systems to sell under the OpenRTOS brand.  Low cost OpenRTOS
    licenses offer ticketed support, indemnification and middleware.

    http://www.SafeRTOS.com - High Integrity Systems also provide a safety
    engineered and independently SIL3 certified version for use in safety and
    mission critical applications that require provable dependability.

    1 tab == 4 spaces!
*/


#ifndef PORTMACRO_H
#define PORTMACRO_H

#ifdef __cplusplus
extern "C" {
#endif

/*-----------------------------------------------------------
 * Port specific definitions.
 *
 * The settings in this file configure FreeRTOS correctly for the
 * given hardware and compiler.
 *
 * These settings should not be altered.
 *-----------------------------------------------------------
 */

/* Type definitions. */
#define portCHAR		char
#define portFLOAT		float
#define portDOUBLE		double
#define portLONG		long
#define portSHORT		short
#define portSTACK_TYPE	uint32_t
#define portBASE_TYPE	long

typedef portSTACK_TYPE StackType_t;
typedef long BaseType_t;
typedef unsigned long UBaseType_t;

#if( configUSE_16_BIT_TICKS == 1 )
	typedef uint16_t TickType_t;
	#define portMAX_DELAY ( TickType_t ) 0xffff
#else
	typedef uint32_t TickType_t;
	#define portMAX_DELAY ( TickType_t ) 0xffffffffUL
#endif
/*-----------------------------------------------------------*/

/* Architecture specifics. */
#define portSTACK_GROWTH			( -1 )
#define portBYTE_ALIGNMENT			8
/*-----------------------------------------------------------*/

#ifndef configTICK_RATE_TO_MILLISECONDS_GCF
#define portTICK_PERIOD_MS			( ( TickType_t ) 1000 / configTICK_RATE_HZ )
#define TICKS_PER_MSEC_REDUCED_NUMERATOR     (1)
#define TICKS_PER_MSEC_REDUCED_DENOMINATOR   (portTICK_PERIOD_MS)
#else
/*
 * Alternatives to portTICK_PERIOD_MS when configTICK_RATE_HZ is
 * not a divisor of 1000 to avoid rounding errors.
 * To avoid overflow, for large values to be converted,
 * we switch to 64-bit math.
 * Note: these conversion macros round down by the nature
 * of integer math.  So a small non-zero msec may be converted
 * to 0 ticks, which when used in a delay request might not do
 * the right thing if a minimum delay is required.
 */
#define TICKS_PER_MSEC_REDUCED_NUMERATOR     (configTICK_RATE_HZ / configTICK_RATE_TO_MILLISECONDS_GCF)
#define TICKS_PER_MSEC_REDUCED_DENOMINATOR   (1000 / configTICK_RATE_TO_MILLISECONDS_GCF)
#endif
/* No explicit type for msec, use BaseType max */
#define MAX_MSEC_CONVERSION_VALUE (0xffffffffUL / TICKS_PER_MSEC_REDUCED_NUMERATOR)
#define MAX_TICK_CONVERSION_VALUE (portMAX_DELAY / TICKS_PER_MSEC_REDUCED_DENOMINATOR)
#define portTICKS_TO_MSEC(n)   (((n) >= MAX_TICK_CONVERSION_VALUE) ? \
                                (((uint64_t)(n) * TICKS_PER_MSEC_REDUCED_DENOMINATOR) / TICKS_PER_MSEC_REDUCED_NUMERATOR) : \
                                (((n) * TICKS_PER_MSEC_REDUCED_DENOMINATOR) / TICKS_PER_MSEC_REDUCED_NUMERATOR))
#define portMSEC_TO_TICKS(n)   (((n) >= MAX_MSEC_CONVERSION_VALUE) ? \
                                (TickType_t)(((uint64_t)(n) * TICKS_PER_MSEC_REDUCED_NUMERATOR) / TICKS_PER_MSEC_REDUCED_DENOMINATOR) : \
                                (TickType_t)(((n) * TICKS_PER_MSEC_REDUCED_NUMERATOR) / TICKS_PER_MSEC_REDUCED_DENOMINATOR))

/*-----------------------------------------------------------*/


/* Scheduler utilities. */
extern void vPortYield( void );
#define portNVIC_INT_CTRL_REG		( * ( ( volatile uint32_t * ) 0xe000ed04 ) )
#define portNVIC_PENDSVSET_BIT		( 1UL << 28UL )
#define portYIELD()					vPortYield()
#define portEND_SWITCHING_ISR( xSwitchRequired ) if( xSwitchRequired ) portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT
#define portYIELD_FROM_ISR( x ) portEND_SWITCHING_ISR( x )
/*-----------------------------------------------------------*/


/* Critical section management. */
extern void vPortEnterCritical( void );
extern void vPortExitCritical( void );
extern uint32_t ulSetInterruptMaskFromISR( void ) __attribute__((naked));
extern void vClearInterruptMaskFromISR( uint32_t ulMask )  __attribute__((naked));

#define portSET_INTERRUPT_MASK_FROM_ISR()		ulSetInterruptMaskFromISR()
#define portCLEAR_INTERRUPT_MASK_FROM_ISR(x)	vClearInterruptMaskFromISR( x )
#define portDISABLE_INTERRUPTS()				__asm volatile 	( " cpsid i " )
#define portENABLE_INTERRUPTS()					__asm volatile 	( " cpsie i " )
#define portENTER_CRITICAL()					vPortEnterCritical()
#define portEXIT_CRITICAL()						vPortExitCritical()

/*-----------------------------------------------------------*/

/* Task function macros as described on the FreeRTOS.org WEB site. */
#define portTASK_FUNCTION_PROTO( vFunction, pvParameters ) void vFunction( void *pvParameters )
#define portTASK_FUNCTION( vFunction, pvParameters ) void vFunction( void *pvParameters )
/*-----------------------------------------------------------*/

/* Tickless idle/low power functionality. */
#ifndef portSUPPRESS_TICKS_AND_SLEEP
	extern void vPortSuppressTicksAndSleep( TickType_t xExpectedIdleTime );
	#define portSUPPRESS_TICKS_AND_SLEEP( xExpectedIdleTime ) vPortSuppressTicksAndSleep( xExpectedIdleTime )
#endif
/*-----------------------------------------------------------*/

#define portNOP()

#ifdef __cplusplus
}
#endif

#endif /* PORTMACRO_H */