| Sandrine Bailleux | 3cd87d7 | 2018-10-09 11:12:55 +0200 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2018, Arm Limited. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef __PLAT_ARM_H__ |
| 8 | #define __PLAT_ARM_H__ |
| 9 | |
| 10 | /* |
| 11 | * Initialises the IO |
| 12 | * Returns: IO_SUCCESS |
| 13 | * IO_FAIL |
| 14 | * IO_NOT_SUPPORTED |
| 15 | * IO_RESOURCES_EXHAUSTED |
| 16 | */ |
| 17 | int arm_io_setup(void); |
| 18 | |
| 19 | /* Initialises the IO and the GIC. */ |
| 20 | void arm_platform_setup(void); |
| 21 | |
| 22 | /******************************************************************************* |
| 23 | * ARM platforms porting interfaces are located below. |
| 24 | ******************************************************************************/ |
| 25 | |
| 26 | /* Initialises the Generic Interrupt Controller (GIC). */ |
| 27 | void plat_arm_gic_init(void); |
| 28 | |
| 29 | #endif /* __PLAT_ARM_H__ */ |