vgic_its_alloc_device 1194 virt/kvm/arm/vgic/vgic-its.c 	device = vgic_its_alloc_device(its, device_id, itt_addr,
vgic_its_alloc_device 2311 virt/kvm/arm/vgic/vgic-its.c 	dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);