Method getDevId

src/backend/common/ArrayInfo.cpp:77–81

}

unsigned ArrayInfo::getDevId() const {
    // The actual device ID is only stored in the first 8 bits of devId
    // See ArrayInfo.hpp for more
    return devId & 0xffU;
}

void ArrayInfo::setId(int id) const {
    const_cast<ArrayInfo *>(this)->setId(id);