make_buffer_copy  384 src/InjectHostDevBufferCopies.cpp                 s = Block::make(make_buffer_copy(direction, i.first, touching_device), s);
make_buffer_copy  498 src/InjectHostDevBufferCopies.cpp                         stmt = Block::make(make_buffer_copy(ToDevice, buf_name, i.second.current_device), stmt);