diff --git a/os/ports/GCC/PPC/SPC560Pxx/ppcparams.h b/os/ports/GCC/PPC/SPC560Pxx/ppcparams.h
index 7f075ee0d..febb90017 100644
--- a/os/ports/GCC/PPC/SPC560Pxx/ppcparams.h
+++ b/os/ports/GCC/PPC/SPC560Pxx/ppcparams.h
@@ -35,7 +35,7 @@
 /**
  * @brief   PPC core model.
  */
-#define PPC_VARIANT             PPC_VARIANT_e200z0
+#define PPC_VARIANT                 PPC_VARIANT_e200z0
 
 /**
  * @brief   Number of writable bits in IVPR register.
diff --git a/os/ports/GCC/PPC/SPC563Mxx/ppcparams.h b/os/ports/GCC/PPC/SPC563Mxx/ppcparams.h
index 0b68313ce..94aa98ffd 100644
--- a/os/ports/GCC/PPC/SPC563Mxx/ppcparams.h
+++ b/os/ports/GCC/PPC/SPC563Mxx/ppcparams.h
@@ -37,6 +37,11 @@
  */
 #define PPC_VARIANT                 PPC_VARIANT_e200z3
 
+/**
+ * @brief   Number of writable bits in IVPR register.
+ */
+#define PPC_IVPR_BITS               16
+
 /**
  * @brief   IVORx registers support.
  */