1 /* _cpuid() - interface to cpuid instruction */
4 /* void _cpuid(u32_t *eax, u32_t *ebx, u32_t *ecx, u32_t *edx); */
5 /* 0 for OK, nonzero for unsupported */
7 #include <machine/asm.h>
10 /* save work registers */
14 /* set eax parameter to cpuid and execute cpuid */
24 .byte 0x0F, 0xA2 /* CPUID */
26 /* store results in pointer arguments */
36 /* restore registers */