SysTick ISR getting pended by Timer ISR (Not getting disabled)

[jefftenney (Jeff)]

@Aravind

ucMaxSysCallPriority = 240 (Decimal)

I wonder if maybe you mistakenly looked at the value of ucMaxPriorityValue instead of ucMaxSysCallPriority. 240 (0xF0) is the expected value for ucMaxPriorityValue if your S32K MCU implements 4 priority bits.

@Aravind

#define configMAX_SYSCALL_INTERRUPT_PRIORITY (configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY << (8-configPRIO_BITS))

configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY = 1
configPRIO_BITS = 4

Based on the above, we should expect a value of 0x10 (decimal 16) for ucMaxSysCallPriority. Can you double check?