diff --git a/c/src/lib/libbsp/powerpc/mpc55xxevb/startup/get-system-clock.c b/c/src/lib/libbsp/powerpc/mpc55xxevb/startup/get-system-clock.c
index bd4c769841..f0db8728a3 100644
--- a/c/src/lib/libbsp/powerpc/mpc55xxevb/startup/get-system-clock.c
+++ b/c/src/lib/libbsp/powerpc/mpc55xxevb/startup/get-system-clock.c
@@ -63,8 +63,8 @@ uint32_t mpc55xx_get_system_clock(void)
       uint32_t emfd = esyncr1.B.EMFD;
       uint32_t erfd = esyncr2.B.ERFD;
 
-      system_clock = (reference_clock * (emfd + 16))
-        / ((erfd + 1) * (eprediv + 1));
+      system_clock = ((reference_clock / (eprediv + 1)) * (emfd + 16))
+        / (erfd + 1);
     } else {
       system_clock = reference_clock;
     }