Jeenu Viswambharan b968241faf SDEI: Fix type of register count ... Register count is currently declared as unsigned, where as there are asserts in place to check it being negative during unregister. These are flagged as never being true. Change-Id: I34f00f0ac5bf88205791e9c1298a175dababe7c8 Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>		2017-11-20 08:15:46 +00:00
..
sdei.h	SDEI: Fix type of register count	2017-11-20 08:15:46 +00:00
secure_partition.h	SPM: Introduce Secure Partition Manager	2017-11-08 18:05:14 +00:00
spm_svc.h	SPM: Introduce Secure Partition Manager	2017-11-08 18:05:14 +00:00
std_svc.h	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00