bl31: add support for pending an interrupt through SiP call

Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: Ic529015ef9c41e1f50b7e27edb7891e9501f19a9
2 files changed
tree: 567499e346fc668182fb9e04b6e3a7027cb69bd1
  1. darwin-x64/
  2. generic/
  3. linux-aarch64/
  4. linux-x64/