71 #error This port is designed to work with XC32. Please update your C compiler version.
79 #define portTIMER_PRESCALE 8
80 #define portPRESCALE_BITS 1
83 #define portIE_BIT ( 0x00000001 )
84 #define portEXL_BIT ( 0x00000002 )
87 #define portCORE_SW_0 ( 0x00000100 )
88 #define portCORE_SW_1 ( 0x00000200 )
92 #define portINITIAL_SR ( portIE_BIT | portEXL_BIT )
94 #ifndef configTICK_INTERRUPT_VECTOR
95 #define configTICK_INTERRUPT_VECTOR _TIMER_1_VECTOR
126 void __attribute__( (interrupt(ipl1), vector(_CORE_SOFTWARE_0_VECTOR))) vPortYieldISR(
void );
181 PR1 = ulCompareMatch;
206 extern void vPortStartFirstTask(
void );
210 IFS0CLR = _IFS0_CS0IF_MASK;
213 IPC0CLR = _IPC0_CS0IP_MASK;
217 IEC0CLR = _IEC0_CS0IE_MASK;
218 IEC0SET = 1 << _IEC0_CS0IE_POSITION;
222 vApplicationSetupTickTimerInterrupt();
227 vPortStartFirstTask();
249 IFS0CLR = _IFS0_T1IF_MASK;
257 asm volatile (
"di" );
258 uxSavedStatusRegister = _CP0_GET_STATUS() | 0x01;
267 return uxSavedStatusRegister;
273 _CP0_SET_STATUS( uxSavedStatusRegister );