On switching from secure to non-secure mode using a function pointer (with the cmse_nonsecure_call attribute) in STM32L562(ARM Cortex M33), general purpose registers R0-R4, R12 and floating point registers S0-S15 are not restored when back in secure ...