diff options
Diffstat (limited to 'src/boot/hardwaremain.c')
| -rw-r--r-- | src/boot/hardwaremain.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/hardwaremain.c b/src/boot/hardwaremain.c index bb7f264c08..099ab3ae78 100644 --- a/src/boot/hardwaremain.c +++ b/src/boot/hardwaremain.c @@ -133,8 +133,10 @@ void hardwaremain(int boot_complete) timestamp_add(TS_DEVICE_DONE, timestamps[5]); timestamp_add_now(TS_CBMEM_POST); +#if CONFIG_WRITE_HIGH_TABLES if (cbmem_post_handling) cbmem_post_handling(); +#endif timestamp_add_now(TS_WRITE_TABLES); |