| 77 | } |
| 78 | |
| 79 | int64_t GetUniqueMemCaseId(int64_t machine_id, const MemoryCase& mem_case) { |
| 80 | int64_t id = 0; |
| 81 | id |= (machine_id << kNodeIndexShift << kPinnedDeviceShift); |
| 82 | id |= GetMemCaseId(mem_case); |
| 83 | return id; |
| 84 | } |
| 85 | |
| 86 | std::shared_ptr<MemoryCase> MakeMemCaseShared(const DeviceType device_type, |
| 87 | const int64_t device_id) { |
no test coverage detected