Method Device

jvm/core/src/main/java/org/apache/tvm/Device.java:160–163

(int deviceType, int deviceId)

  public final int deviceId;

  public Device(int deviceType, int deviceId) {
    this.deviceType = deviceType;
    this.deviceId = deviceId;
  }

  public Device(String deviceType, int deviceId) {
    this(DEVICE_NAME_TO_TYPE.get(deviceType), deviceId);