Jeenu Viswambharan d55a445069 GIC: Add API to set priority mask ... API documentation updated. Change-Id: I40feec1fe67a960d035061b54dd55610bc34ce1d Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>		2017-10-16 16:50:02 +01:00
..
common_def.h	Use SPDX license identifiers	2017-05-03 09:39:28 +01:00
platform.h	GIC: Add API to set priority mask	2017-10-16 16:50:02 +01:00