firmware/psci: Pass given partition number through
[platform/kernel/linux-rpi.git] / drivers / cpuidle / dt_idle_states.h
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __DT_IDLE_STATES
3 #define __DT_IDLE_STATES
4
5 int dt_init_idle_driver(struct cpuidle_driver *drv,
6                         const struct of_device_id *matches,
7                         unsigned int start_idx);
8 #endif