Symbol: vgic_mmio_read_v2_misc
arch/arm64/kvm/vgic/vgic-mmio-v2.c
425
vgic_mmio_read_v2_misc, vgic_mmio_write_v2_misc,
arch/arm64/kvm/vgic/vgic-mmio-v2.c
81
reg = vgic_mmio_read_v2_misc(vcpu, addr, len);