Searched refs:psci_dt_detach_cpu (Results 1 – 3 of 3) sorted by relevance
14 void psci_dt_detach_cpu(struct device *dev);17 static inline void psci_dt_detach_cpu(struct device *dev) { } in psci_dt_detach_cpu() function
335 void psci_dt_detach_cpu(struct device *dev) in psci_dt_detach_cpu() function
274 psci_dt_detach_cpu(data->dev); in psci_cpu_deinit_idle()
