diff options
Diffstat (limited to 'src/arch/armv7')
-rw-r--r-- | src/arch/armv7/tables.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/arch/armv7/tables.c b/src/arch/armv7/tables.c index 0f174d30ff..de6b6facc3 100644 --- a/src/arch/armv7/tables.c +++ b/src/arch/armv7/tables.c @@ -37,11 +37,7 @@ struct lb_memory *write_tables(void) { unsigned long table_pointer, new_table_pointer; - if (!high_tables_base) { - printk(BIOS_ERR, "ERROR: high_tables_base is not set.\n"); - } - - printk(BIOS_DEBUG, "high_tables_base: %llx.\n", high_tables_base); + cbmem_base_check(); post_code(0x9d); |