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

source code of linux/tools/build/feature/test-get_cpuid.c