int bootstage_unstash(void *base, int size);
 
 #else
+static inline ulong bootstage_add_record(enum bootstage_id id,
+               const char *name, int flags, ulong mark)
+{
+       return 0;
+}
+
 /*
  * This is a dummy implementation which just calls show_boot_progress(),
  * and won't even do that unless CONFIG_SHOW_BOOT_PROGRESS is defined
        return 0;
 }
 
+static inline uint32_t bootstage_start(enum bootstage_id id, const char *name)
+{
+       return 0;
+}
+
+static inline uint32_t bootstage_accum(enum bootstage_id id)
+{
+       return 0;
+}
+
 static inline int bootstage_stash(void *base, int size)
 {
        return 0;       /* Pretend to succeed */