Symbol: vgic_mmio_write_v3_misc
arch/arm64/kvm/vgic/vgic-mmio-v3.c
216
vgic_mmio_write_v3_misc(vcpu, addr, len, val);
arch/arm64/kvm/vgic/vgic-mmio-v3.c
628
vgic_mmio_read_v3_misc, vgic_mmio_write_v3_misc,