Searched refs:NXP_GICC_4K_ADDR (Results 1 – 5 of 5) sorted by relevance
57 #define NXP_GICC_4K_ADDR 0x01402000 macro
372 *gicc_base = NXP_GICC_4K_ADDR; in get_gic_offset()379 *gicc_base = NXP_GICC_4K_ADDR; in get_gic_offset()
354 NXP_GICC_4K_ADDR, in soc_platform_setup()
599 ldr x0, =NXP_GICC_4K_ADDR
1439 ldr x0, =NXP_GICC_4K_ADDR1457 ldr x0, =NXP_GICC_4K_ADDR