Hi all, we'd like to use cpuidle-arm.c for both arm and arm64 with psci as backend. For arm64, it works. But for arm, we miss cpuidle_ops. I want to add cpuidle_ops for arm psci, I dunno whether this is the correct direction, could you please give suggestions? Thanks, Jisheng