78c7beb49c
Upon recieving the interrupt send an SGI. The sgi number is communicated by linux. Signed-off-by: Shubhrajyoti Datta <shubhrajyoti.datta@xilinx.com> Change-Id: Ib8f07ff7132ba5ac202b546914efb16d04820ed3 Signed-off-by: Venkatesh Yadav Abbarapu <venkatesh.abbarapu@xilinx.com> |
||
---|---|---|
.. | ||
aarch64 | ||
include | ||
pm_service | ||
bl31_versal_setup.c | ||
plat_psci.c | ||
plat_topology.c | ||
plat_versal.c | ||
platform.mk | ||
sip_svc_setup.c | ||
versal_gicv3.c | ||
versal_ipi.c |