Symbol: read_vpend_dirty_clear
drivers/irqchip/irq-gic-v3-its.c
3140
val = read_vpend_dirty_clear(vlpi_base);
drivers/irqchip/irq-gic-v3-its.c
3146
val = read_vpend_dirty_clear(vlpi_base);