diff --git a/hw/chiptod.c b/hw/chiptod.c
index 3fb41b13bd89..1713f248d458 100644
--- a/hw/chiptod.c
+++ b/hw/chiptod.c
@@ -77,7 +77,7 @@
 /* -- TOD PIB Master reg -- */
 #define TOD_PIB_MASTER			0x00040027
 #define   TOD_PIBM_ADDR_CFG_MCAST	PPC_BIT(25)
-#define   TOD_PIBM_ADDR_CFG_SLADDR	PPC_BITMASK(26,31)
+#define   TOD_PIBM_ADDR_CFG_SLADDR	PPC_BITMASK(26, 31)
 #define   TOD_PIBM_TTYPE4_SEND_MODE	PPC_BIT(32)
 #define   TOD_PIBM_TTYPE4_SEND_ENBL	PPC_BIT(33)