Searched refs:NXP_GICD_4K_ADDR (Results 1 – 5 of 5) sorted by relevance
56 #define NXP_GICD_4K_ADDR 0x01401000 macro
373 *gicd_base = NXP_GICD_4K_ADDR; in get_gic_offset()380 *gicd_base = NXP_GICD_4K_ADDR; in get_gic_offset()
353 NXP_GICD_4K_ADDR, in soc_platform_setup()
583 ldr x0, =NXP_GICD_4K_ADDR
1395 ldr x0, =NXP_GICD_4K_ADDR1413 ldr x0, =NXP_GICD_4K_ADDR