| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 1 | /* |
| Antonio Nino Diaz | 4b32e62 | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 2 | * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved. |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 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 | |
| Antonio Nino Diaz | 4b32e62 | 2018-08-16 16:52:57 +0100 | [diff] [blame] | 10 | #include <cdefs.h> |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 11 | #include <stdint.h> |
| 12 | |
| 13 | /******************************************************************************* |
| 14 | * Function declarations |
| 15 | ******************************************************************************/ |
| Juan Castillo | 7f1f062 | 2014-09-09 09:49:23 +0100 | [diff] [blame] | 16 | void arm_gic_init(uintptr_t gicc_base, |
| 17 | uintptr_t gicd_base, |
| 18 | uintptr_t gicr_base, |
| 19 | const unsigned int *irq_sec_ptr, |
| Soren Brinkmann | a581bd5 | 2016-01-14 10:02:33 -0800 | [diff] [blame] | 20 | unsigned int num_irqs) __deprecated; |
| 21 | void arm_gic_setup(void) __deprecated; |
| 22 | void arm_gic_cpuif_deactivate(void) __deprecated; |
| 23 | void arm_gic_cpuif_setup(void) __deprecated; |
| 24 | void arm_gic_pcpu_distif_setup(void) __deprecated; |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 25 | |
| 26 | uint32_t arm_gic_interrupt_type_to_line(uint32_t type, |
| Soren Brinkmann | a581bd5 | 2016-01-14 10:02:33 -0800 | [diff] [blame] | 27 | uint32_t security_state) __deprecated; |
| 28 | uint32_t arm_gic_get_pending_interrupt_type(void) __deprecated; |
| 29 | uint32_t arm_gic_get_pending_interrupt_id(void) __deprecated; |
| 30 | uint32_t arm_gic_acknowledge_interrupt(void) __deprecated; |
| 31 | void arm_gic_end_of_interrupt(uint32_t id) __deprecated; |
| 32 | uint32_t arm_gic_get_interrupt_type(uint32_t id) __deprecated; |
| Dan Handley | fb42b12 | 2014-06-20 09:43:15 +0100 | [diff] [blame] | 33 | |
| 34 | #endif /* __GIC_H__ */ |