aw_thermal_gettemp
val = aw_thermal_gettemp(sc, sensor) + TEMP_C_TO_K;
temp_cur = aw_thermal_gettemp(sc, 0);