ccdaa6e0c8
The interface is confusing, it feels like we are getting "sender" info, whereas it is the "receiver", which can very well be retrived by smp_processor_id(), if need be. Signed-off-by: Vineet Gupta <vgupta@synopsys.com> |
||
---|---|---|
.. | ||
include/plat | ||
Kconfig | ||
Makefile | ||
irq.c | ||
platform.c | ||
smp.c |