vgic_its_alloc_device
device = vgic_its_alloc_device(its, device_id, itt_addr,
dev = vgic_its_alloc_device(its, id, itt_addr, num_eventid_bits);