Searched defs:gicr_base (Results 1 – 1 of 1) sorted by relevance
148 vaddr_t gicr_base[CFG_TEE_CORE_NB_CORE]; member241 static void gicr_wait_for_pending_write(vaddr_t gicr_base) in gicr_wait_for_pending_write()257 vaddr_t gicr_base = get_gicr_base(gd); in gicv3_sync_redist_config() local408 vaddr_t gicr_base = get_gicr_base(gd); in gic_init_donate_sgi_to_ns() local584 vaddr_t gicr_base = get_gicr_base(gd); in gic_init_v3() local1020 vaddr_t gicr_base = get_gicr_base(gd); in gic_op_configure() local1061 vaddr_t gicr_base = get_gicr_base(gd); in gic_op_enable() local