diff options
| -rw-r--r-- | src/arch/arm64/armv8/mmu.c | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/arch/arm64/armv8/mmu.c b/src/arch/arm64/armv8/mmu.c index 8045cc0e54..2c1555c808 100644 --- a/src/arch/arm64/armv8/mmu.c +++ b/src/arch/arm64/armv8/mmu.c @@ -31,9 +31,6 @@ #include <stdint.h> #include <string.h> -#include <cbmem.h> -#include <console/console.h> - #include <memrange.h> #include <arch/mmu.h> #include <arch/lib_helpers.h> @@ -110,7 +107,6 @@ static uint64_t *get_new_table(void) uint64_t *new; if (free_idx >= max_tables) { - printk(BIOS_ERR,"ARM64 MMU: No free table\n"); return NULL; } @@ -233,7 +229,6 @@ static void init_mmap_entry(struct range_entry *r) uint64_t ret; if (sanity_check(base_addr,temp_size)) { - printk(BIOS_ERR, "ARM64 MMU: sanity check failed\n"); return; } @@ -259,7 +254,6 @@ void mmu_init(struct memranges *mmap_ranges, struct range_entry *mmap_entry; if (sanity_check((uint64_t)ttb_buffer, ttb_size)) { - printk(BIOS_ERR, "ARM64: Sanity failed for ttb\n"); return; } @@ -267,22 +261,9 @@ void mmu_init(struct memranges *mmap_ranges, max_tables = (ttb_size >> GRANULE_SIZE_SHIFT); xlat_addr = ttb_buffer; - printk(BIOS_DEBUG, "ARM64: TTB_BUFFER: 0x%p Max Tables: %d\n", - (void*)xlat_addr, max_tables); - memranges_each_entry(mmap_entry, mmap_ranges) { init_mmap_entry(mmap_entry); } - printk(BIOS_DEBUG, "ARM64: MMU init done\n"); -} - -static uint32_t is_mmu_enabled(void) -{ - uint32_t sctlr; - - sctlr = raw_read_sctlr_el3(); - - return (sctlr & SCTLR_M); } void mmu_enable(void) @@ -313,9 +294,4 @@ void mmu_enable(void) raw_write_sctlr_el3(sctlr); isb(); - - if (is_mmu_enabled()) - printk(BIOS_DEBUG, "ARM64: MMU enable done\n"); - else - printk(BIOS_DEBUG, "ARM64: MMU enable failed\n"); } |