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

Rebased version of #84