[Tee-dev] [PATCH] tee: optee: sync with new naming of interrupts