Symbol: vgic_its_alloc_device
arch/arm64/kvm/vgic/vgic-its.c
1184
device = vgic_its_alloc_device(its, device_id, itt_addr,
arch/arm64/kvm/vgic/vgic-its.c
2313
dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);