Symbol: vgic_mmio_write_spending
arch/arm64/kvm/vgic/vgic-mmio-v2.c
441
vgic_mmio_read_pending, vgic_mmio_write_spending,
arch/arm64/kvm/vgic/vgic-mmio-v3.c
646
vgic_mmio_read_pending, vgic_mmio_write_spending,
arch/arm64/kvm/vgic/vgic-mmio-v3.c
730
vgic_mmio_read_pending, vgic_mmio_write_spending,
arch/arm64/kvm/vgic/vgic-mmio.h
155
void vgic_mmio_write_spending(struct kvm_vcpu *vcpu,