- First stab at getting the ppc ports building and working.

[coreboot.git] / src / include / arch-generic / div64.h

diff --git a/src/include/arch-generic/div64.h b/src/include/arch-generic/div64.h
index 4015810d8cd78e988e7a47bc3947c253b9d1c16a..08db225d3ff8405f9edc69859c27a9ebadef9fca 100644 (file)
--- a/src/include/arch-generic/div64.h
+++ b/src/include/arch-generic/div64.h
@@ -33,7 +33,7 @@ extern uint32_t __div64_32(uint64_t *dividend, uint32_t divisor);
        uint32_t __base = (base);                       \
        uint32_t __rem;                                 \
        (void)(((typeof((n)) *)0) == ((uint64_t *)0));  \
-       if (likely(((n) >> 32) == 0)) {                 \
+       if (((n) >> 32) == 0) {                         \
                __rem = (uint32_t)(n) % __base;         \
                (n) = (uint32_t)(n) / __base;           \
        } else                                          \