ARM-software/arm-trusted-firmware — pull request #105 by athoelke (2014-05-23 08:42:02+00:00)
Title: Non-Secure Interrupt support during Standard SMC processing in TSP v2

Rebased version of #84