51d50
< #include "sim/power/thermal_domain.hh"