#include <stdio.h>

int
main(void)
{
	int eax = 0, ebx = 0, ecx = 0, edx = 0;

	asm("cpuid"
	    : "=a"(eax), "=b"(ebx), "=c"(ecx), "=d"(edx)
	    : "a"(0x0d), "c"(0x00));
	printf("XFeatureSupportedMask[0:31]	= 0x%x\n", eax);
	printf("XFeatureEnabledSizeMask		= 0x%x\n", ebx);
	printf("XFeatureSupportedSizeMask	= 0x%x\n", ecx);
	printf("XFeatureSupportedMask[32:63]	= 0x%x\n", edx);
	fflush(stdout);
	return ferror(stdout);
}