blob: bb4f065f28a6bb7bd9c013fbfc8893d04ef65b1e [file] [log] [blame] [edit]
// SPDX-License-Identifier: GPL-2.0
#include <cpuid.h>
int main(void)
{
unsigned int eax = 0, ebx = 0, ecx = 0, edx = 0;
return __get_cpuid(0x15, &eax, &ebx, &ecx, &edx);
}