| 12345678910111213141516171819202122232425262728293031 |
- /*
- * Copyright (c) 2021, MediaTek Inc. All rights reserved.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
- #ifndef MTSPMC_H
- #define MTSPMC_H
- #include <stdint.h>
- int spmc_init(void);
- void spm_poweron_cpu(unsigned int cluster, unsigned int cpu);
- void spm_poweroff_cpu(unsigned int cluster, unsigned int cpu);
- void spm_poweroff_cluster(unsigned int cluster);
- void spm_poweron_cluster(unsigned int cluster);
- bool spm_get_cpu_powerstate(unsigned int cluster, unsigned int cpu);
- bool spm_get_cluster_powerstate(unsigned int cluster);
- bool spm_get_powerstate(uint32_t mask);
- void mcucfg_init_archstate(unsigned int cluster, unsigned int cpu, bool arm64);
- void mcucfg_set_bootaddr(unsigned int cluster, unsigned int cpu, uintptr_t bootaddr);
- uintptr_t mcucfg_get_bootaddr(unsigned int cluster, unsigned int cpu);
- void mcucfg_disable_gic_wakeup(unsigned int cluster, unsigned int cpu);
- void mcucfg_enable_gic_wakeup(unsigned int cluster, unsigned int cpu);
- #endif /* MTSPMC_H */
|
