Fix implementation and users of gicd_set_ipriorityr()
authorJon Medhurst <tixy@linaro.org>
Tue, 11 Feb 2014 14:48:56 +0000 (14:48 +0000)
committerDan Handley <dan.handley@arm.com>
Wed, 5 Mar 2014 16:21:14 +0000 (16:21 +0000)
commitcf6eeb8a60bfb8c6b2e49c3839eed173d814f2ba
treed3b29a6ccd2e93a472bd9f8492a395b279694803
parenta4d9f26b009647db14fbf24479245227e712d35d
Fix implementation and users of gicd_set_ipriorityr()

Make gicd_set_ipriorityr() actually write to the priority register.

Also correct callers of this function which want the highest priority
to use the value zero as this is the highest priority value according
to the ARM Generic Interrupt Controller Architecture Specification.

To make this easier to get right, we introduce defines for the lowest
and highest priorities for secure and non-secure interrupts.

Fixes ARM-software/tf-issues#21

Signed-off-by: Jon Medhurst <tixy@linaro.org>
arch/system/gic/gic.h
arch/system/gic/gic_v2.c
plat/fvp/plat_gic.c