| Samuel Holland | b856664 | 2017-08-12 04:07:39 -0500 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef __SUNXI_PRIVATE_H__ |
| 8 | #define __SUNXI_PRIVATE_H__ |
| 9 | |
| 10 | void sunxi_configure_mmu_el3(int flags); |
| Samuel Holland | 321c0ab | 2017-08-12 04:07:39 -0500 | [diff] [blame^] | 11 | void sunxi_cpu_off(unsigned int cluster, unsigned int core); |
| 12 | void sunxi_cpu_on(unsigned int cluster, unsigned int core); |
| 13 | void sunxi_disable_secondary_cpus(unsigned int primary_cpu); |
| Samuel Holland | b856664 | 2017-08-12 04:07:39 -0500 | [diff] [blame] | 14 | |
| 15 | #endif /* __SUNXI_PRIVATE_H__ */ |