tree a5b85e565a57a713bb06e681f5c357d55ff7a71f
parent 31488a325ac1308e9c7e32166e66a505624f959c
author Jay Buddhabhatti <jay.buddhabhatti@amd.com> 1694501453 -0700
committer Jay Buddhabhatti <jay.buddhabhatti@amd.com> 1704802660 -0800

fix(xilinx): fix sending sgi to linux

Currently in Versal NET TF-A writing 32 bits in icc_asgi1r_el1 register
to raise SGI to Linux but this register is of 64 bits. Also its writing
only CPU number and SGI number to this register but along with that it
needs to write cluster number and other information. Which is not happening
currently. So use generic function plat_ic_raise_ns_sgi() to raise SGI to
Linux.

Signed-off-by: Jay Buddhabhatti <jay.buddhabhatti@amd.com>
Change-Id: I6f5146c8315a321b705ed2ef79e2dc927b805ffb