Synchonisation in Trustzone secure world by callbacks to non-secure world

Yup, that is the reason!

What do you think about the above? In other words, have asecureportVALIDATE_INTERRUPT_PRIORITY which people can optionally call from secure ISR to incorrect secure interrupt priority configurations.