Searched refs:GIC_DISTRIBUTOR_BASE (Results 1 – 2 of 2) sorted by relevance
20 #define GIC_DISTRIBUTOR_BASE 0xE8C11000 /* Base for GIC distributor interface */ macro
29 register_phys_mem_pgdir(MEM_AREA_IO_SEC, GIC_DISTRIBUTOR_BASE, GICD_SIZE);936 gic_init(GIC_INTERFACE_BASE, GIC_DISTRIBUTOR_BASE); in boot_primary_init_intc()