psci.S revision 4ce4de1e
1