PROC_THERMAL_MMIO_TJMAX
proc_thermal_mmio_read(pci_info, PROC_THERMAL_MMIO_TJMAX, &tjmax);
{ PROC_THERMAL_MMIO_TJMAX, 0x599c, 16, 0xff },