Lines Matching refs:uint32_t
53 static inline volatile void *gicr_base_cpu(uint32_t cpu) in gicr_base_cpu()
59 static void gicv3_gicr_wait_for_rwp(uint32_t cpu) in gicv3_gicr_wait_for_rwp()
69 static void gicv3_wait_for_rwp(uint32_t cpu_or_dist) in gicv3_wait_for_rwp()
102 static void gicv3_write_eoir(uint32_t irq) in gicv3_write_eoir()
108 static void gicv3_write_dir(uint32_t irq) in gicv3_write_dir()
121 uint32_t val; in gicv3_set_eoi_split()
132 uint32_t gicv3_reg_readl(uint32_t cpu_or_dist, uint64_t offset) 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()
146 uint32_t gicv3_getl_fields(uint32_t cpu_or_dist, uint64_t offset, uint32_t mask) in gicv3_getl_fields()
151 void gicv3_setl_fields(uint32_t cpu_or_dist, uint64_t offset, in gicv3_setl_fields()
152 uint32_t mask, uint32_t reg_val) in gicv3_setl_fields()
154 uint32_t tmp = gicv3_reg_readl(cpu_or_dist, offset) & ~mask; in gicv3_setl_fields()
168 static void gicv3_access_reg(uint32_t intid, uint64_t offset, in gicv3_access_reg()
169 uint32_t reg_bits, uint32_t bits_per_field, in gicv3_access_reg()
170 bool write, uint32_t *val) in gicv3_access_reg()
172 uint32_t cpu = guest_get_vcpuid(); in gicv3_access_reg()
174 uint32_t fields_per_reg, index, mask, shift; in gicv3_access_reg()
175 uint32_t cpu_or_dist; in gicv3_access_reg()
200 static void gicv3_write_reg(uint32_t intid, uint64_t offset, in gicv3_write_reg()
201 uint32_t reg_bits, uint32_t bits_per_field, uint32_t val) in gicv3_write_reg()
207 static uint32_t gicv3_read_reg(uint32_t intid, uint64_t offset, in gicv3_read_reg()
208 uint32_t reg_bits, uint32_t bits_per_field) in gicv3_read_reg()
210 uint32_t val; in gicv3_read_reg()
217 static void gicv3_set_priority(uint32_t intid, uint32_t prio) in gicv3_set_priority()
223 static void gicv3_irq_set_config(uint32_t intid, bool is_edge) in gicv3_irq_set_config()
225 uint32_t val; in gicv3_irq_set_config()
233 static void gicv3_irq_enable(uint32_t intid) in gicv3_irq_enable()
236 uint32_t cpu = guest_get_vcpuid(); in gicv3_irq_enable()
242 static void gicv3_irq_disable(uint32_t intid) in gicv3_irq_disable()
245 uint32_t cpu = guest_get_vcpuid(); in gicv3_irq_disable()
251 static void gicv3_irq_set_active(uint32_t intid) in gicv3_irq_set_active()
256 static void gicv3_irq_clear_active(uint32_t intid) in gicv3_irq_clear_active()
261 static bool gicv3_irq_get_active(uint32_t intid) in gicv3_irq_get_active()
266 static void gicv3_irq_set_pending(uint32_t intid) in gicv3_irq_set_pending()
271 static void gicv3_irq_clear_pending(uint32_t intid) in gicv3_irq_clear_pending()
276 static bool gicv3_irq_get_pending(uint32_t intid) in gicv3_irq_get_pending()
283 uint32_t val = readl(redist_base + GICR_WAKER); in gicv3_enable_redist()