[PSCI]:http://infocenter.arm.com/help/topic/com.arm.doc.den0022c/DEN0022C_Power_State_Coordination_Interface.pdf"Power State Coordination Interface PDD (ARM DEN 0022C)"
[SMCCC]:http://infocenter.arm.com/help/topic/com.arm.doc.den0028a/index.html"SMC Calling Convention PDD (ARM DEN 0028A)"
[TEE-SMC]:http://www.arm.com/products/processors/technologies/trustzone/tee-smc.php"Secure Monitor and TEEs"