/*\r
- FreeRTOS V8.2.1 - Copyright (C) 2015 Real Time Engineers Ltd.\r
+ FreeRTOS V9.0.0rc2 - Copyright (C) 2016 Real Time Engineers Ltd.\r
All rights reserved\r
\r
VISIT http://www.FreeRTOS.org TO ENSURE YOU ARE USING THE LATEST VERSION.\r
\r
FreeRTOS is free software; you can redistribute it and/or modify it under\r
the terms of the GNU General Public License (version 2) as published by the\r
- Free Software Foundation >>!AND MODIFIED BY!<< the FreeRTOS exception.\r
+ Free Software Foundation >>>> AND MODIFIED BY <<<< the FreeRTOS exception.\r
\r
***************************************************************************\r
>>! NOTE: The modification to the GPL is included to allow you to !<<\r
#ifdef configASSERT\r
#define portDISABLE_INTERRUPTS() \\r
{ \\r
- uint32_t ulStatus; \\r
+ uint32_t ulStatus; \\r
\\r
/* Mask interrupts at and below the kernel interrupt priority. */ \\r
ulStatus = _CP0_GET_STATUS(); \\r
#else /* configASSERT */\r
#define portDISABLE_INTERRUPTS() \\r
{ \\r
- uint32_t ulStatus; \\r
+ uint32_t ulStatus; \\r
\\r
/* Mask interrupts at and below the kernel interrupt priority. */ \\r
ulStatus = _CP0_GET_STATUS(); \\r
\r
#define portENABLE_INTERRUPTS() \\r
{ \\r
-uint32_t ulStatus; \\r
+uint32_t ulStatus; \\r
\\r
/* Unmask all interrupts. */ \\r
ulStatus = _CP0_GET_STATUS(); \\r
#define portSET_INTERRUPT_MASK_FROM_ISR() uxPortSetInterruptMaskFromISR()\r
#define portCLEAR_INTERRUPT_MASK_FROM_ISR( uxSavedStatusRegister ) vPortClearInterruptMaskFromISR( uxSavedStatusRegister )\r
\r
+#if ( __mips_hard_float == 0 ) && ( configUSE_TASK_FPU_SUPPORT == 1 )\r
+ #error configUSE_TASK_FPU_SUPPORT can only be set to 1 when the part supports a hardware FPU module.\r
+#endif\r
+\r
+#if ( __mips_hard_float == 1 ) && ( configUSE_TASK_FPU_SUPPORT == 1 )\r
+ void vPortTaskUsesFPU( void );\r
+ #define portTASK_USES_FLOATING_POINT() vPortTaskUsesFPU()\r
+#endif\r
+\r
#ifndef configUSE_PORT_OPTIMISED_TASK_SELECTION\r
#define configUSE_PORT_OPTIMISED_TASK_SELECTION 1\r
#endif\r
\r
#define portYIELD() \\r
{ \\r
-uint32_t ulCause; \\r
+uint32_t ulCause; \\r
\\r
/* Trigger software interrupt. */ \\r
ulCause = _CP0_GET_CAUSE(); \\r