fix fiq_debugger-set-uart-irq-no-balancing

hc

2024-07-02 39af2116d7581c9a12be9e73bb6bdc31496495ef

1
2
3
4
5
6
7
8
// 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);
}