diff options
Diffstat (limited to 'drivers/arm/gic/v2/gicv2_helpers.c')
-rw-r--r-- | drivers/arm/gic/v2/gicv2_helpers.c | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/drivers/arm/gic/v2/gicv2_helpers.c b/drivers/arm/gic/v2/gicv2_helpers.c index 7cdbc27c..26930769 100644 --- a/drivers/arm/gic/v2/gicv2_helpers.c +++ b/drivers/arm/gic/v2/gicv2_helpers.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2015-2016, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ @@ -72,15 +72,6 @@ void gicd_write_spendsgir(uintptr_t base, unsigned int id, unsigned int val) mmio_write_32(base + GICD_SPENDSGIR + (n << 2), val); } -/* - * Accessor to write the GIC Distributor ITARGETSR corresponding to the - * interrupt `id`. - */ -void gicd_set_itargetsr(uintptr_t base, unsigned int id, unsigned int target) -{ - mmio_write_8(base + GICD_ITARGETSR + id, target & GIC_TARGET_CPU_MASK); -} - /******************************************************************************* * Get the current CPU bit mask from GICD_ITARGETSR0 ******************************************************************************/ |