vgic_mmio_write_priority  432 virt/kvm/arm/vgic/vgic-mmio-v2.c 		vgic_mmio_read_priority, vgic_mmio_write_priority, NULL, NULL,
vgic_mmio_write_priority  501 virt/kvm/arm/vgic/vgic-mmio-v3.c 		vgic_mmio_read_priority, vgic_mmio_write_priority, NULL, NULL,
vgic_mmio_write_priority  573 virt/kvm/arm/vgic/vgic-mmio-v3.c 		vgic_mmio_read_priority, vgic_mmio_write_priority, 32,
vgic_mmio_write_priority  182 virt/kvm/arm/vgic/vgic-mmio.h void vgic_mmio_write_priority(struct kvm_vcpu *vcpu,