Lines Matching refs:gic
183 v->arch.gic.v2.lr[i] = readl_gich(GICH_LR + i * 4); in gicv2_save_state()
185 v->arch.gic.v2.apr = readl_gich(GICH_APR); in gicv2_save_state()
186 v->arch.gic.v2.vmcr = readl_gich(GICH_VMCR); in gicv2_save_state()
196 writel_gich(v->arch.gic.v2.lr[i], GICH_LR + i * 4); in gicv2_restore_state()
198 writel_gich(v->arch.gic.v2.apr, GICH_APR); in gicv2_restore_state()
199 writel_gich(v->arch.gic.v2.vmcr, GICH_VMCR); in gicv2_restore_state()
216 printk(" VCPU_LR[%d]=%x\n", i, v->arch.gic.v2.lr[i]); in gicv2_dump_state()
659 const struct dt_device_node *gic, in gicv2m_make_dt_node() argument
673 prop = dt_get_property(gic, "ranges", &len); in gicv2m_make_dt_node()
752 const struct dt_device_node *gic, in gicv2_make_hwdom_dt_node() argument
760 compatible = dt_get_property(gic, "compatible", &len); in gicv2_make_hwdom_dt_node()
776 regs = dt_get_property(gic, "reg", &len); in gicv2_make_hwdom_dt_node()
783 len = dt_cells_to_size(dt_n_addr_cells(gic) + dt_n_size_cells(gic)); in gicv2_make_hwdom_dt_node()
790 res = gicv2m_make_dt_node(d, gic, fdt); in gicv2_make_hwdom_dt_node()