Searched refs:gic_bmp_ptr32 (Results 1 – 4 of 4) sorted by relevance
/openbmc/qemu/hw/intc/ |
H A D | arm_gicv3_dist.c | 72 mask = *gic_bmp_ptr32(s->group, irq); in mask_group_and_nsacr() 111 *gic_bmp_ptr32(bmp, irq) = val; in gicd_write_bitmap_reg() 135 *gic_bmp_ptr32(bmp, irq) |= val; in gicd_write_set_bitmap_reg() 159 *gic_bmp_ptr32(bmp, irq) &= ~val; in gicd_write_clear_bitmap_reg() 182 val = *gic_bmp_ptr32(bmp, irq); in gicd_read_bitmap_reg() 188 uint32_t edge = *gic_bmp_ptr32(s->edge_trigger, irq); in gicd_read_bitmap_reg() 189 uint32_t level = *gic_bmp_ptr32(s->level, irq); in gicd_read_bitmap_reg() 460 *data = *gic_bmp_ptr32(s->group, irq); in gicd_readl() 518 value = *gic_bmp_ptr32(s->edge_trigger, irq & ~0x1f); in gicd_readl() 542 *data = *gic_bmp_ptr32(s->grpmod, irq); in gicd_readl() [all …]
|
H A D | arm_gicv3.c | 70 uint32_t pending = *gic_bmp_ptr32(s->pending, irq); in gicd_int_pending() 71 uint32_t edge_trigger = *gic_bmp_ptr32(s->edge_trigger, irq); in gicd_int_pending() 72 uint32_t level = *gic_bmp_ptr32(s->level, irq); in gicd_int_pending() 73 uint32_t group = *gic_bmp_ptr32(s->group, irq); in gicd_int_pending() 74 uint32_t grpmod = *gic_bmp_ptr32(s->grpmod, irq); in gicd_int_pending() 75 uint32_t enable = *gic_bmp_ptr32(s->enabled, irq); in gicd_int_pending() 76 uint32_t active = *gic_bmp_ptr32(s->active, irq); in gicd_int_pending() 149 nmi = *gic_bmp_ptr32(cs->gic->nmi, irq); in gicv3_get_priority()
|
H A D | arm_gicv3_kvm.c | 196 *gic_bmp_ptr32(bmp, irq) |= reg; in kvm_dist_get_edge_trigger() 216 reg = *gic_bmp_ptr32(bmp, irq); in kvm_dist_put_edge_trigger() 235 *gic_bmp_ptr32(bmp, irq) = reg; in kvm_gic_get_line_level_bmp() 245 reg = *gic_bmp_ptr32(bmp, irq); in kvm_gic_put_line_level_bmp() 267 *gic_bmp_ptr32(bmp, irq) = reg; in kvm_dist_getbmp() 301 reg = *gic_bmp_ptr32(bmp, irq); in kvm_dist_putbmp()
|
/openbmc/qemu/include/hw/intc/ |
H A D | arm_gicv3_common.h | 81 static inline uint32_t *gic_bmp_ptr32(uint32_t *addr, int nr) in gic_bmp_ptr32() function
|