Searched refs:cpu_or_dist (Results 1 – 1 of 1) sorted by relevance
69 static void gicv3_wait_for_rwp(uint32_t cpu_or_dist) in gicv3_wait_for_rwp() argument71 if (cpu_or_dist & DIST_BIT) in gicv3_wait_for_rwp()74 gicv3_gicr_wait_for_rwp(cpu_or_dist); in gicv3_wait_for_rwp()132 uint32_t gicv3_reg_readl(uint32_t cpu_or_dist, uint64_t offset) in gicv3_reg_readl() argument134 volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA in gicv3_reg_readl()135 : sgi_base_from_redist(gicr_base_cpu(cpu_or_dist)); in gicv3_reg_readl()139 void gicv3_reg_writel(uint32_t cpu_or_dist, uint64_t offset, uint32_t reg_val) in gicv3_reg_writel() argument141 volatile void *base = cpu_or_dist & DIST_BIT ? GICD_BASE_GVA in gicv3_reg_writel()142 : sgi_base_from_redist(gicr_base_cpu(cpu_or_dist)); in gicv3_reg_writel()146 uint32_t gicv3_getl_fields(uint32_t cpu_or_dist, uint64_t offset, uint32_t mask) in gicv3_getl_fields() argument[all …]