Acpi Int33a0 0 Driver
The kernel matches this against the acpi_device_id table in the driver:
# Force driver binding echo "int3400_thermal" | sudo tee /sys/bus/acpi/devices/INT33A0:00/driver_override sudo sh -c 'echo INT33A0:00 > /sys/bus/acpi/drivers/int3400_thermal/bind' acpi int33a0 0 driver
# List ACPI devices with INT33A0 ls /sys/bus/acpi/devices/INT33A0:00/ The kernel matches this against the acpi_device_id table
The driver exposes thermal information via sysfs: acpi int33a0 0 driver
If not auto-loaded: