v0 Directory Reference

Files
file	scp/psci/v0/psci.h [code]
	PSCI Driver API/interface file.