| Soby Mathew | 327548c | 2017-07-13 15:19:51 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | /* |
| 8 | * Driver for GIC500-specific features. This driver only overrides APIs that are |
| 9 | * different to those generic ones in GICv3 driver. |
| 10 | */ |
| 11 | #include "gicv3_private.h" |
| 12 | |
| 13 | void gicv3_distif_pre_save(unsigned int proc_num) |
| 14 | { |
| 15 | arm_gicv3_distif_pre_save(proc_num); |
| 16 | } |
| 17 | |
| 18 | void gicv3_distif_post_restore(unsigned int proc_num) |
| 19 | { |
| 20 | arm_gicv3_distif_post_restore(proc_num); |
| 21 | } |
| 22 | |