cpuidle-psci.h 540 B

1234567891011121314151617181920
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef __CPUIDLE_PSCI_H
  3. #define __CPUIDLE_PSCI_H
  4. struct device;
  5. struct device_node;
  6. void psci_set_domain_state(u32 state);
  7. int psci_dt_parse_state_node(struct device_node *np, u32 *state);
  8. #ifdef CONFIG_ARM_PSCI_CPUIDLE_DOMAIN
  9. struct device *psci_dt_attach_cpu(int cpu);
  10. void psci_dt_detach_cpu(struct device *dev);
  11. #else
  12. static inline struct device *psci_dt_attach_cpu(int cpu) { return NULL; }
  13. static inline void psci_dt_detach_cpu(struct device *dev) { }
  14. #endif
  15. #endif /* __CPUIDLE_PSCI_H */