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
..
arm	Increase PLAT_ARM_MMAP_ENTRIES and MAX_XLAT_TABLES	2017-10-06 13:47:34 +01:00
common	GIC: Add API to set priority mask	2017-10-16 16:50:02 +01:00