diff --git a/src/include/reef/trace.h b/src/include/reef/trace.h
index 4656ef738..d83f0f8b2 100644
--- a/src/include/reef/trace.h
+++ b/src/include/reef/trace.h
@@ -41,11 +41,12 @@
 #include <platform/platform.h>
 #include <platform/timer.h>
 
+
 /* general trace init codes - only used at boot when main trace is not available */
-#define TRACE_BOOT_START	0x1000
+#define TRACE_BOOT_START		0x1000
 #define TRACE_BOOT_ARCH		0x2000
-#define TRACE_BOOT_SYS		0x3000
-#define TRACE_BOOT_PLATFORM	0x4000
+#define TRACE_BOOT_SYS			0x3000
+#define TRACE_BOOT_PLATFORM		0x4000
 
 /* system specific codes */
 #define TRACE_BOOT_SYS_WORK		(TRACE_BOOT_SYS + 0x100)
@@ -55,15 +56,16 @@
 #define TRACE_BOOT_SYS_SCHED		(TRACE_BOOT_SYS + 0x500)
 
 /* platform/device specific codes */
-#define TRACE_BOOT_PLATFORM_MBOX	(TRACE_BOOT_PLATFORM + 0x100)
-#define TRACE_BOOT_PLATFORM_SHIM	(TRACE_BOOT_PLATFORM + 0x101)
-#define TRACE_BOOT_PLATFORM_PMC		(TRACE_BOOT_PLATFORM + 0x102)
-#define TRACE_BOOT_PLATFORM_TIMER	(TRACE_BOOT_PLATFORM + 0x103)
-#define TRACE_BOOT_PLATFORM_CLOCK	(TRACE_BOOT_PLATFORM + 0x104)
-#define TRACE_BOOT_PLATFORM_SSP_FREQ	(TRACE_BOOT_PLATFORM + 0x105)
-#define TRACE_BOOT_PLATFORM_IPC		(TRACE_BOOT_PLATFORM + 0x106)
-#define TRACE_BOOT_PLATFORM_DMA		(TRACE_BOOT_PLATFORM + 0x107)
-#define TRACE_BOOT_PLATFORM_SSP		(TRACE_BOOT_PLATFORM + 0x108)
+#define TRACE_BOOT_PLATFORM_ENTRY	(TRACE_BOOT_PLATFORM + 0x100)
+#define TRACE_BOOT_PLATFORM_MBOX	(TRACE_BOOT_PLATFORM + 0x110)
+#define TRACE_BOOT_PLATFORM_SHIM	(TRACE_BOOT_PLATFORM + 0x120)
+#define TRACE_BOOT_PLATFORM_PMC		(TRACE_BOOT_PLATFORM + 0x130)
+#define TRACE_BOOT_PLATFORM_TIMER	(TRACE_BOOT_PLATFORM + 0x140)
+#define TRACE_BOOT_PLATFORM_CLOCK	(TRACE_BOOT_PLATFORM + 0x150)
+#define TRACE_BOOT_PLATFORM_SSP_FREQ	(TRACE_BOOT_PLATFORM + 0x160)
+#define TRACE_BOOT_PLATFORM_IPC		(TRACE_BOOT_PLATFORM + 0x170)
+#define TRACE_BOOT_PLATFORM_DMA		(TRACE_BOOT_PLATFORM + 0x180)
+#define TRACE_BOOT_PLATFORM_SSP		(TRACE_BOOT_PLATFORM + 0x190)
 
 
 /* trace event classes - high 8 bits*/