diff options
Diffstat (limited to 'src/lib/hardwaremain.c')
| -rw-r--r-- | src/lib/hardwaremain.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/lib/hardwaremain.c b/src/lib/hardwaremain.c index 85c05f5093..d2213d2c83 100644 --- a/src/lib/hardwaremain.c +++ b/src/lib/hardwaremain.c @@ -39,9 +39,7 @@ it with the version available from LANL. #if CONFIG_HAVE_ACPI_RESUME #include <arch/acpi.h> #endif -#if CONFIG_WRITE_HIGH_TABLES #include <cbmem.h> -#endif #include <coverage.h> #include <timestamp.h> @@ -113,12 +111,10 @@ void hardwaremain(int boot_complete) timestamp_stash(TS_DEVICE_DONE); -#if CONFIG_WRITE_HIGH_TABLES cbmem_initialize(); #if CONFIG_CONSOLE_CBMEM cbmemc_reinit(); #endif -#endif timestamp_sync(); #if CONFIG_HAVE_ACPI_RESUME @@ -128,10 +124,8 @@ void hardwaremain(int boot_complete) 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); |