Solved
STM32H753. Stranger things...
For a hour I'm breaking my head. How it this possible? What's going here?
unsigned max_prio = 5;
__set_BASEPRI(max_prio);
__DSB(); __ISB();
uint32_t basep = __get_BASEPRI();
printf("basepri=%u\n", basep); //>>>>>>>>>>>> it prints 0 !
Using the Atollic IDE, if this matters.
