/*
137 kamil@rugged /tmp $ gcc check_tsc_user_enable.c              
138 kamil@rugged /tmp $ ./a.out                      
machdep.tsc_user_enable = 0
139 kamil@rugged /tmp $ sudo sysctl -w machdep.tsc_user_enable=1 
machdep.tsc_user_enable: 0 -> 1
140 kamil@rugged /tmp $ ./a.out                                  
machdep.tsc_user_enable = 1
141 kamil@rugged /tmp $ cat check_tsc_user_enable.c                                                                                              
*/
#include <sys/types.h>
#include <sys/sysctl.h>
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>

int
check_tsc_user_enable(void)
{
	int enabled = 0;
	size_t len = sizeof(enabled);

	if (sysctlbyname("machdep.tsc_user_enable", &enabled, &len, NULL, 0) < 0)
		abort();

	return enabled;
}

int
main(int argc, char **argv)
{
	printf("machdep.tsc_user_enable = %d\n", check_tsc_user_enable());

	return 0;
}