You might ask: Do I need to care about this driver?
cat /sys/class/thermal/thermal_zone*/trip_point_0_temp acpi int33a0 0 driver
Key functions to explore: