1 // SPDX-License-Identifier: GPL-2.0 2 #include <cpuidle.h> 3 4 int main(void) 5 { 6 int rv = cpuidle_state_count(0); 7 return rv; 8 } 9