psci.c revision 1e579429
1