text: /*
   * FreeRTOS Kernel V10.2.0
   * Copyright (C) 2019 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
   *
   * Permission is hereby granted, free of charge, to any person obtaining a copy of
   * this software and associated documentation files (the "Software"), to deal in
   * the Software without restriction, including without limitation the rights to
   * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
   * the Software, and to permit persons to whom the Software is furnished to do so,
   * subject to the following conditions:
   *
   * The above copyright notice and this permission notice shall be included in all
   * copies or substantial portions of the Software.
   *
   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
   * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
   * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
   * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
   * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
   *
   * http://www.FreeRTOS.org
   * http://aws.amazon.com/freertos
   *
   * 1 tab == 4 spaces!
   */
  
  
  #ifndef PORTMACRO_H
  #define PORTMACRO_H
  
  #include <machine.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 - these are a bit legacy and not really used now, other than
  portSTACK_TYPE and portBASE_TYPE. */
  #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
  
  	/* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
  	not need to be guarded with a critical section. */
  	#define portTICK_TYPE_IS_ATOMIC 1
  #endif
  /*-----------------------------------------------------------*/
  
  /* Hardware specifics. */
  #define portBYTE_ALIGNMENT				8
  #define portSTACK_GROWTH				-1
  #define portTICK_PERIOD_MS				( ( TickType_t ) 1000 / configTICK_RATE_HZ )
  #define portNOP()						nop()
  #define portSTART_SCHEDULER_TRAP_NO		( 32 )
  #define portYIELD_TRAP_NO				( 33 )
  #define portKERNEL_INTERRUPT_PRIORITY	( 1 )
  
  void vPortYield( void );
  #define portYIELD()						vPortYield()
  
  extern void vTaskSwitchContext( void );
  #define portYIELD_FROM_ISR( x )			if( x != pdFALSE ) vTaskSwitchContext()
  
  /*
   * This function tells the kernel that the task referenced by xTask is going to
   * use the floating point registers and therefore requires the floating point
   * registers saved as part of its context.
   */
  BaseType_t xPortUsesFloatingPoint( void* xTask );
  
  /*
   * The flop save and restore functions are defined in portasm.src and called by
   * the trace "task switched in" and "trace task switched out" macros.
   */
  void vPortSaveFlopRegisters( void *pulBuffer );
  void vPortRestoreFlopRegisters( void *pulBuffer );
  
  /*
   * pxTaskTag is used to point to the buffer into which the floating point
   * context should be saved.  If pxTaskTag is NULL then the task does not use
   * a floating point context.
   */
  #define traceTASK_SWITCHED_OUT() if( pxCurrentTCB->pxTaskTag != NULL ) vPortSaveFlopRegisters( pxCurrentTCB->pxTaskTag )
  #define traceTASK_SWITCHED_IN() if( pxCurrentTCB->pxTaskTag != NULL ) vPortRestoreFlopRegisters( pxCurrentTCB->pxTaskTag )
  
  /*
   * These macros should be called directly, but through the taskENTER_CRITICAL()
   * and taskEXIT_CRITICAL() macros.
   */
  #define portENABLE_INTERRUPTS() 	set_imask( 0x00 )
  #define portDISABLE_INTERRUPTS() 	set_imask( portKERNEL_INTERRUPT_PRIORITY )
  
  /* Critical nesting counts are stored in the TCB. */
  #define portCRITICAL_NESTING_IN_TCB ( 1 )
  
  /* The critical nesting functions defined within tasks.c. */
  extern void vTaskEnterCritical( void );
  extern void vTaskExitCritical( void );
  #define portENTER_CRITICAL()	vTaskEnterCritical();
  #define portEXIT_CRITICAL()		vTaskExitCritical();
  
  /*-----------------------------------------------------------*/
  
  /* 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 )
  
  #ifdef __cplusplus
  }
  #endif
  
  #endif /* PORTMACRO_H */
  
  