unsigned int cpuid_eax, cpuid_ebx, cpuid_ecx, cpuid_edx;
 
        cpuid(0x00000001, &cpuid_eax, &cpuid_ebx, &cpuid_ecx, &cpuid_edx);
-       if (cpuid_ecx & 0x80000000) {
-             __asm__ __volatile__(".byte 0x00f, 0x001, 0x0c1" : "=a"(result) :
-                                  "a"(tuple), "b"(reg_ebx), "c"(reg_ecx)
-                                     );
-       } else {
-               result = -1;
-       }
+       if (!(cpuid_ecx & 0x80000000))
+               return -1;
+
+       __asm__ __volatile__(".byte 0x00f, 0x001, 0x0c1" : "=a"(result) :
+               "a"(tuple), "b"(reg_ebx), "c"(reg_ecx));
        return result;
 }
 
        unsigned int cpuid_eax, cpuid_ebx, cpuid_ecx, cpuid_edx;
 
        cpuid(0x00000001, &cpuid_eax, &cpuid_ebx, &cpuid_ecx, &cpuid_edx);
-       if (cpuid_ecx & 0x80000000) {
-             __asm__ __volatile__(".byte 0x00f, 0x001, 0x0c1" : "=a"(result) :
-                                  "a"(tuple), "b"(reg_ebx), "c"(reg_ecx),
-                                  "d"(reg_edx));
-       } else {
-               result = -1;
-       }
+       if (!(cpuid_ecx & 0x80000000))
+               return -1;
+
+       __asm__ __volatile__(".byte 0x00f, 0x001, 0x0c1" : "=a"(result) :
+               "a"(tuple), "b"(reg_ebx), "c"(reg_ecx), "d"(reg_edx));
        return result;
-       }
+}