diff --git a/core/arch/arm/plat-bcm/main.c b/core/arch/arm/plat-bcm/main.c index d25a164e059..ead5b25ddb7 100644 --- a/core/arch/arm/plat-bcm/main.c +++ b/core/arch/arm/plat-bcm/main.c @@ -81,14 +81,6 @@ void itr_core_handler(void) void main_init_gic(void) { - vaddr_t gicd_base; - - gicd_base = core_mmu_get_va(GICD_BASE, MEM_AREA_IO_SEC, 1); - - if (!gicd_base) - panic(); - - gic_init_base_addr(&gic_data, 0, gicd_base); + gic_init_base_addr(&gic_data, 0, GICD_BASE); itr_init(&gic_data.chip); - }