Searched refs:gicr_write_vpendbaser (Results 1 – 1 of 1) sorted by relevance
| /qemu/hw/intc/ |
| H A D | arm_gicv3_redist.c | 263 static void gicr_write_vpendbaser(GICv3CPUState *cs, uint64_t newval) in gicr_write_vpendbaser() function
640 gicr_write_vpendbaser(cs, deposit64(cs->gicr_vpendbaser, 0, 32, value)); in gicr_writel()
643 gicr_write_vpendbaser(cs, deposit64(cs->gicr_vpendbaser, 32, 32, value)); in gicr_writel()
704 gicr_write_vpendbaser(cs, value); in gicr_writell()
|