Searched refs:vgic_mmio_write_cpending (Results 1 – 4 of 4) sorted by relevance
159 void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
636 vgic_mmio_read_pending, vgic_mmio_write_cpending,720 vgic_mmio_read_pending, vgic_mmio_write_cpending,
435 vgic_mmio_read_pending, vgic_mmio_write_cpending,
397 void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu, in vgic_mmio_write_cpending() function