162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
262306a36Sopenharmony_ci#include <cpuid.h>
362306a36Sopenharmony_ci
462306a36Sopenharmony_ciint main(void)
562306a36Sopenharmony_ci{
662306a36Sopenharmony_ci	unsigned int eax = 0, ebx = 0, ecx = 0, edx = 0;
762306a36Sopenharmony_ci	return __get_cpuid(0x15, &eax, &ebx, &ecx, &edx);
862306a36Sopenharmony_ci}
9