// SPDX-License-Identifier: GPL-2.0
#include <cpuidle.h>

int main(void)
{
	int rv = cpuidle_state_count(0);
	return rv;
}