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
..
gicv2_helpers.c	GIC: Add API to set interrupt routing	2017-10-16 16:50:02 +01:00
gicv2_main.c	GIC: Add API to set priority mask	2017-10-16 16:50:02 +01:00
gicv2_private.h	GIC: Add API to set interrupt routing	2017-10-16 16:50:02 +01:00