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