4#int __cpuid_supported(void)
5.global __cpuid_supported
22#void __cpuid_get_vendor(uint32_t *ebx_out, uint32_t *edx_out, uint32_t *ecx_out)
23.global __cpuid_get_vendor
33 movl 8(%ebp), %esi #ebx_out
35 movl 12(%ebp), %esi #edx_out
37 movl 16(%ebp), %esi #ecx_out
45#uint32_t __cpuid_get_features(void)
46.global __cpuid_get_features
55 #eax already has the return value