Sandrine Bailleux 1ad9f93e8d Validate psci_cpu_on_start() arguments ... This patch introduces some debug assertions in the function psci_cpu_on_start() to check the arguments it receives are valid. Change-Id: If4d23c9f668fb46f2d18c5e2ed1929498cc6736b		2016-04-25 12:55:45 +01:00
..
psci	Validate psci_cpu_on_start() arguments	2016-04-25 12:55:45 +01:00
std_svc_setup.c	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00