Searched defs:gicr_base (Results 1 – 1 of 1) sorted by relevance
140 vaddr_t gicr_base[CFG_TEE_CORE_NB_CORE]; member233 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write()249 vaddr_t gicr_base = get_gicr_base(gd); in gicv3_sync_redist_config() local400 vaddr_t gicr_base = get_gicr_base(gd); in gic_init_donate_sgi_to_ns() local576 vaddr_t gicr_base = get_gicr_base(gd); in gic_init_v3() local1012 vaddr_t gicr_base = get_gicr_base(gd); in gic_op_configure() local1053 vaddr_t gicr_base = get_gicr_base(gd); in gic_op_enable() local