Searched refs:vgic_mmio_write_spending (Results 1 – 4 of 4) sorted by relevance
155 void vgic_mmio_write_spending(struct kvm_vcpu *vcpu,
632 vgic_mmio_read_pending, vgic_mmio_write_spending,716 vgic_mmio_read_pending, vgic_mmio_write_spending,
431 vgic_mmio_read_pending, vgic_mmio_write_spending,
304 void vgic_mmio_write_spending(struct kvm_vcpu *vcpu, in vgic_mmio_write_spending() function