| Anson Huang | 4c28fc3 | 2018-06-05 16:12:27 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 7 | #ifndef PLAT_IMX8_H |
| 8 | #define PLAT_IMX8_H |
| Anson Huang | 4c28fc3 | 2018-06-05 16:12:27 +0800 | [diff] [blame] | 9 | |
| 10 | #include <gicv3.h> |
| Anson Huang | 10cd817 | 2018-07-12 14:17:19 +0800 | [diff] [blame] | 11 | #include <psci.h> |
| Anson Huang | 4c28fc3 | 2018-06-05 16:12:27 +0800 | [diff] [blame] | 12 | |
| 13 | unsigned int plat_calc_core_pos(uint64_t mpidr); |
| 14 | void imx_mailbox_init(uintptr_t base_addr); |
| 15 | void plat_gic_driver_init(void); |
| 16 | void plat_gic_init(void); |
| 17 | void plat_gic_cpuif_enable(void); |
| 18 | void plat_gic_cpuif_disable(void); |
| 19 | void plat_gic_pcpu_init(void); |
| 20 | |
| Anson Huang | d2b9055 | 2018-07-12 10:52:55 +0800 | [diff] [blame] | 21 | void __dead2 imx_system_off(void); |
| Anson Huang | 0da07d2 | 2018-07-12 11:04:15 +0800 | [diff] [blame] | 22 | void __dead2 imx_system_reset(void); |
| Anson Huang | 10cd817 | 2018-07-12 14:17:19 +0800 | [diff] [blame] | 23 | int imx_validate_power_state(unsigned int power_state, |
| 24 | psci_power_state_t *req_state); |
| 25 | void imx_get_sys_suspend_power_state(psci_power_state_t *req_state); |
| Antonio Nino Diaz | 5eb8837 | 2018-11-08 10:20:19 +0000 | [diff] [blame] | 26 | |
| 27 | #endif /* PLAT_IMX8_H */ |