4697164a3f
BIT24 of IPI command header is used to determine if caller is secure or non-secure. Mark BIT24 of IPI command header as non-secure if SMC caller is non-secure. Signed-off-by: Tejas Patel <tejas.patel@xilinx.com> Signed-off-by: Abhyuday Godhasara <abhyuday.godhasara@xilinx.com> Change-Id: Iec25af8f4b202093f58e858ee47cd9cd46890267 |
||
---|---|---|
.. | ||
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 |