Searched refs:vgic_mmio_write_cpending (Results 1 – 4 of 4) sorted by relevance
159 void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
643 vgic_mmio_read_pending, vgic_mmio_write_cpending,727 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