tree 330a340e9f3e17e7ed4dbf63f59cddf72112d8a0
parent 459df4c1a098af49ea6ef6e1bfe168b0fe0333cf
author Soby Mathew <soby.mathew@arm.com> 1401206071 +0100
committer Soby Mathew <soby.mathew@arm.com> 1401378319 +0100

Pass 'cookie' parameter to interrupt handler in BL3-1

The interrupt handling routine in BL3-1 expects a cookie as its last
parameter which was not being passed when invoking the interrupt
handler in BL3-1. This patch fixes that by passing a dummy cookie
parameter in the x3 register.

Fixes ARM-software/tf-issues#171

Change-Id: Ic98abbbd9f849e6f1c55343e865b5e0a4904a1c5