I have an interrupt that needs to move some memory from MSRAM and it's clear that fetching into the cache is a large amount of the time. There is other stuff the interrupt can be doing during this time. Is there an SDK or ARM instruction to do a non-blocking warm up of the cache?