39         static void cpuid (uint32_t abcd[4]) { __cpuid  ((int*)abcd, 1);    }  in cpuid()
40         static void cpuid7(uint32_t abcd[4]) { __cpuidex((int*)abcd, 7, 0); }  in cpuid7()
48         static void cpuid (uint32_t abcd[4]) { __get_cpuid(1, abcd+0, abcd+1, abcd+2, abcd+3); }  in cpuid()
49         static void cpuid7(uint32_t abcd[4]) {  in cpuid7()
50             __cpuid_count(7, 0, abcd[0], abcd[1], abcd[2], abcd[3]);  in cpuid7()
118         uint32_t abcd[] = {0,0,0,0};  in init()  local
119         cpuid(abcd);  in init()
120         if (abcd[2] & (1<< 9)) { Init_ssse3(); }  in init()
121         if (abcd[2] & (1<<19)) { Init_sse41(); }  in init()
122         if (abcd[2] & (1<<20)) { Init_sse42(); }  in init()
125         if ( (  abcd[2] & (7<<26)) == (7<<26) &&    // Check bits 26-28 of ecx are all set,  in init()