1*b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0 2b0063dbfSArnaldo Carvalho de Melo #include <cpuid.h> 3b0063dbfSArnaldo Carvalho de Melo main(void)4b0063dbfSArnaldo Carvalho de Meloint main(void) 5b0063dbfSArnaldo Carvalho de Melo { 6b0063dbfSArnaldo Carvalho de Melo unsigned int eax = 0, ebx = 0, ecx = 0, edx = 0; 7b0063dbfSArnaldo Carvalho de Melo return __get_cpuid(0x15, &eax, &ebx, &ecx, &edx); 8b0063dbfSArnaldo Carvalho de Melo } 9