*            has occurred.
   */
  void show_boot_progress(int val);
 +#else
 +#define show_boot_progress(val) do {} while (0)
 +#endif
  
 -#ifdef CONFIG_BOOTSTAGE
 +#if defined(CONFIG_BOOTSTAGE) && !defined(CONFIG_SPL_BUILD)
  /* This is the full bootstage implementation */
  
+ /**
+  * Add a new bootstage record
+  *
+  * @param id  Bootstage ID to use (ignored if flags & BOOTSTAGEF_ALLOC)
+  * @param name        Name of record, or NULL for none
+  * @param flags       Flags (BOOTSTAGEF_...)
+  * @param mark        Time to record in this record, in microseconds
+  */
+ ulong bootstage_add_record(enum bootstage_id id, const char *name,
+                          int flags, ulong mark);
+ 
  /*
   * Mark a time stamp for the current boot stage.
   */