Searched refs:GIC400_ARB_BASE_ADDR (Results 1 – 2 of 2) sorted by relevance
462 u32 gic_dist_addr = GIC400_ARB_BASE_ADDR + GIC_DIST_OFFSET; in gic_resume()642 writel(0, GIC400_ARB_BASE_ADDR + GIC_DIST_OFFSET); in psci_system_suspend()
17 #define GIC400_ARB_BASE_ADDR 0x31000000 macro