@@ -8,9 +8,12 @@
#include <asm/io.h>
#include <common.h>
#include <asm/armv8/mmu.h>
+#include <asm/gic.h>
+#include <asm/gic-v3.h>
#include <asm/system.h>
#include <dm/device.h>
#include <dm/uclass.h>
+#include <dt-bindings/memory/bcm-ns3-mc.h>
#include <fdtdec.h>
#include <wdt.h>
@@ -146,6 +149,7 @@ static int start_wdt(void)
int ft_board_setup(void *fdt, bd_t *bd)
{
+ gic_lpi_tables_init(BCM_NS3_GIC_LPI_BASE, MAX_GIC_REDISTRIBUTORS);
start_wdt();
return 0;
@@ -37,4 +37,10 @@
#define CONFIG_SYS_MAXARGS 64
#define CONFIG_SYS_BARGSIZE CONFIG_SYS_CBSIZE
+/* Generic Interrupt Controller Definitions */
+#define GICD_BASE 0x63C00000
+#define GICR_BASE 0x63E00000
+/* Number of GIC re-distributors */
+#define MAX_GIC_REDISTRIBUTORS 8
+
#endif /* __BCM_NS3_H */