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
