Re: PSR register not getting updated

2015-11-12 Thread Daniel Cederman
When I think a bit more of it, one probably should update the PSR after the heir has been acquired, as the task could potentially be acquired and released again with a new PSR by another core before the swap. On 2015-11-12 11:27, Daniel Cederman wrote: Hello, I experienced a bug when using 4.

PSR register not getting updated

2015-11-12 Thread Daniel Cederman
Hello, I experienced a bug when using 4.11 SMP on a LEON4 system. One of the tasks in my program suddenly lost the FPU enable bit in the PSR register after a task switch. I tracked down the problem being due to the task switching code not updating the PSR if the heir changes during the switch