ARK-OS/arkos/kernel/tools/build/feature/test-libcpupower.c

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

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