| Nariman Poushin | 0ece80f | 2018-02-26 06:52:04 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #include <bl_common.h> |
| 8 | #include <debug.h> |
| 9 | #include <plat_arm.h> |
| Sughosh Ganu | 18f513d | 2018-05-16 17:22:35 +0530 | [diff] [blame] | 10 | #include <sgi_ras.h> |
| Nariman Poushin | 0ece80f | 2018-02-26 06:52:04 +0000 | [diff] [blame] | 11 | |
| 12 | void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1, |
| 13 | u_register_t arg2, u_register_t arg3) |
| 14 | { |
| Nariman Poushin | 0ece80f | 2018-02-26 06:52:04 +0000 | [diff] [blame] | 15 | arm_bl31_early_platform_setup((void *)arg0, arg1, arg2, (void *)arg3); |
| 16 | } |
| Sughosh Ganu | 18f513d | 2018-05-16 17:22:35 +0530 | [diff] [blame] | 17 | |
| 18 | void bl31_platform_setup(void) |
| 19 | { |
| 20 | arm_bl31_platform_setup(); |
| 21 | |
| 22 | #if RAS_EXTENSION |
| 23 | sgi_ras_intr_handler_setup(); |
| 24 | #endif |
| 25 | } |