| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2014, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #ifndef __ARM_GIC_H__ |
| 8 | #define __ARM_GIC_H__ |
| 9 | |
| 10 | #include <stdint.h> |
| 11 | |
| 12 | /******************************************************************************* |
| 13 | * Function declarations |
| 14 | ******************************************************************************/ |
| Juan Castillo | 7f1f062 | 2014-09-09 09:49:23 +0100 | [diff] [blame] | 15 | void arm_gic_init(uintptr_t gicc_base, |
| 16 | uintptr_t gicd_base, |
| 17 | uintptr_t gicr_base, |
| 18 | const unsigned int *irq_sec_ptr, |
| Soren Brinkmann | a581bd5 | 2016-01-14 10:02:33 -0800 | [diff] [blame] | 19 | unsigned int num_irqs) __deprecated; |
| 20 | void arm_gic_setup(void) __deprecated; |
| 21 | void arm_gic_cpuif_deactivate(void) __deprecated; |
| 22 | void arm_gic_cpuif_setup(void) __deprecated; |
| 23 | void arm_gic_pcpu_distif_setup(void) __deprecated; |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 24 | |
| 25 | uint32_t arm_gic_interrupt_type_to_line(uint32_t type, |
| Soren Brinkmann | a581bd5 | 2016-01-14 10:02:33 -0800 | [diff] [blame] | 26 | uint32_t security_state) __deprecated; |
| 27 | uint32_t arm_gic_get_pending_interrupt_type(void) __deprecated; |
| 28 | uint32_t arm_gic_get_pending_interrupt_id(void) __deprecated; |
| 29 | uint32_t arm_gic_acknowledge_interrupt(void) __deprecated; |
| 30 | void arm_gic_end_of_interrupt(uint32_t id) __deprecated; |
| 31 | uint32_t arm_gic_get_interrupt_type(uint32_t id) __deprecated; |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 32 | |
| 33 | #endif /* __GIC_H__ */ |