Symbol: kvm_vgic_register_its_device
arch/arm64/kvm/vgic/vgic-kvm-device.c
337
ret = kvm_vgic_register_its_device();
arch/arm64/kvm/vgic/vgic.h
341
int kvm_vgic_register_its_device(void);