test-get_cpuid.c

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