Searched refs:vgic_mmio_write_cpending (Results 1 – 4 of 4) sorted by relevance
159 void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu,
578 vgic_mmio_read_pending, vgic_mmio_write_cpending,653 vgic_mmio_read_pending, vgic_mmio_write_cpending,
424 vgic_mmio_read_pending, vgic_mmio_write_cpending,
378 void vgic_mmio_write_cpending(struct kvm_vcpu *vcpu, in vgic_mmio_write_cpending() function