I am trying to create critical regions with temporarily disabled interrupts in an S32K3 program.
(Note: no such label exists to tag this message with)
(SW32K3_RTD_4_4_2_0_0_D2203)
The only functions I find are:
system.c (exported in system.h)
Sys_SuspendInterrupts/Sys_ResumeInterrupts
The problem with them is that
1. They require me to add -DMCAL_ENABLE_USER_MODE_SUPPORT to my CC build string
2. They cause linking to fail since startup_getControlRegisterValue cannot be located anywhere. (I can't find it defined anywhere in the RTD)
All of the above makes me wonder if I am doing this the wrong way altogether?
Regards