kvm_vgic_register_its_device  274 virt/kvm/arm/vgic/vgic-kvm-device.c 		ret = kvm_vgic_register_its_device();
kvm_vgic_register_its_device  231 virt/kvm/arm/vgic/vgic.h int kvm_vgic_register_its_device(void);