K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-06-13T15:24:07.779913Z
K 7
svn:log
V 125
Move psci_call to a header file so we can use it in other files to
communicate with the firmware.

Sponsored by:	DARPA, AFRL

END