socsvn - Revision 337283: /soc2016/vincenzo/current/head/sys/dev/psci