DeviceCode         70 src/ExternalCode.h         return ExternalCode(DeviceCode, Target(), device_api, code, name);
DeviceCode        112 src/ExternalCode.h         return kind == DeviceCode && device_code_kind == current_device;