PCH_THERMAL_TSEL
uint8 tsel = read8(device->registers + PCH_THERMAL_TSEL);
write8(device->registers + PCH_THERMAL_TSEL,