coreboot-kgpe-d16/util/romcc/tests/simple_test86.c

static void main(void)
{
	asm("cpuid"
		::: "eax", "ebx", "ecx", "edx");
}