current_device    111 src/ExternalCode.h     bool is_for_device_api(DeviceAPI current_device) const {
current_device    112 src/ExternalCode.h         return kind == DeviceCode && device_code_kind == current_device;
current_device    161 src/InjectHostDevBufferCopies.cpp         DeviceAPI current_device;            // Valid if dev_current is true
current_device    275 src/InjectHostDevBufferCopies.cpp                      << "Current device: " << static_cast<int>(buf.current_device) << "\n";
current_device    339 src/InjectHostDevBufferCopies.cpp                 ((!buf.dev_current || (buf.current_device != touching_device)) ||
current_device    348 src/InjectHostDevBufferCopies.cpp                 buf.host_touched = buf.host_touched || (buf.current_device != DeviceAPI::None &&
current_device    349 src/InjectHostDevBufferCopies.cpp                                                         buf.current_device != touching_device);
current_device    351 src/InjectHostDevBufferCopies.cpp                 buf.current_device = touching_device;
current_device    491 src/InjectHostDevBufferCopies.cpp                         i.second.dev_touched && i.second.current_device != DeviceAPI::Host) {
current_device    497 src/InjectHostDevBufferCopies.cpp                             static_cast<int>(i.second.current_device) << "\n";
current_device    498 src/InjectHostDevBufferCopies.cpp                         stmt = Block::make(make_buffer_copy(ToDevice, buf_name, i.second.current_device), stmt);
current_device    677 src/InjectHostDevBufferCopies.cpp                                         then_state.current_device == else_state.current_device;