drivers/irqchip/irq-gic-v3-its.c

2917

gicr_write_vpendbaser(GICR_VPENDBASER_PendingLast,

drivers/irqchip/irq-gic-v3-its.c

3148

val |= GICR_VPENDBASER_PendingLast;

drivers/irqchip/irq-gic-v3-its.c

4038

val |= GICR_VPENDBASER_PendingLast;

drivers/irqchip/irq-gic-v3-its.c

4052

vpe->pending_last = !!(val & GICR_VPENDBASER_PendingLast);

drivers/irqchip/irq-gic-v3-its.c

4271

GICR_VPENDBASER_PendingLast,

drivers/irqchip/irq-gic-v3-its.c

4273

vpe->pending_last = !!(val & GICR_VPENDBASER_PendingLast);

drivers/irqchip/irq-gic-v3-its.c

4282

GICR_VPENDBASER_PendingLast);

drivers/irqchip/irq-gic-v3.c

1083

gicr_write_vpendbaser(GICR_VPENDBASER_PendingLast,