Searched refs:GIC_INTERFACE_BASE (Results 1 – 2 of 2) sorted by relevance
21 #define GIC_INTERFACE_BASE 0xE8C12000 /* Base address for GIC CPU interface */ macro
28 register_phys_mem_pgdir(MEM_AREA_IO_SEC, GIC_INTERFACE_BASE, GICC_SIZE);936 gic_init(GIC_INTERFACE_BASE, GIC_DISTRIBUTOR_BASE); in boot_primary_init_intc()