Definitions of cuda::memory::managed::allocate(device, num_bytes) #514