mediatek: mt8195: Add CPU hotplug and MCDI support
Implement PSCI platform OPs to support CPU hotplug and MCDI.
Change-Id: I1321f7989c8a3d116d698768a7146e8f180ee9c0
diff --git a/plat/mediatek/mt8195/drivers/spmc/mtspmc.h b/plat/mediatek/mt8195/drivers/spmc/mtspmc.h
index 7ed2e62..34e93d0 100644
--- a/plat/mediatek/mt8195/drivers/spmc/mtspmc.h
+++ b/plat/mediatek/mt8195/drivers/spmc/mtspmc.h
@@ -11,21 +11,21 @@
int spmc_init(void);
-void spm_poweron_cpu(uint32_t cluster, uint32_t cpu);
-void spm_poweroff_cpu(uint32_t cluster, uint32_t cpu);
+void spm_poweron_cpu(unsigned int cluster, unsigned int cpu);
+void spm_poweroff_cpu(unsigned int cluster, unsigned int cpu);
-void spm_poweroff_cluster(uint32_t cluster);
-void spm_poweron_cluster(uint32_t cluster);
+void spm_poweroff_cluster(unsigned int cluster);
+void spm_poweron_cluster(unsigned int cluster);
-bool spm_get_cpu_powerstate(uint32_t cluster, uint32_t cpu);
-bool spm_get_cluster_powerstate(uint32_t 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(uint32_t cluster, uint32_t cpu, bool arm64);
-void mcucfg_set_bootaddr(uint32_t cluster, uint32_t cpu, uintptr_t bootaddr);
-uintptr_t mcucfg_get_bootaddr(uint32_t cluster, uint32_t cpu);
+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(uint32_t cluster, uint32_t cpu);
-void mcucfg_enable_gic_wakeup(uint32_t cluster, uint32_t 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 */