intel cpus may have a package temperature sensor as well as the core
sensors.

ok?

Index: specialreg.h
===================================================================
RCS file: /cvs/src/sys/arch/amd64/include/specialreg.h,v
diff -u -p -r1.118 specialreg.h
--- specialreg.h	26 Jun 2025 12:17:27 -0000	1.118
+++ specialreg.h	13 Jul 2025 05:57:26 -0000
@@ -286,8 +286,9 @@
  */
 #define	TPM_SENSOR	0x00000001	 /* Digital temp sensor */
 #define	TPM_ARAT	0x00000004	 /* APIC Timer Always Running */
+#define	TPM_PTS		0x00000040	 /* Intel Package Thermal Status */ 
 #define TPM_EAX_BITS \
-    ("\20" "\01SENSOR" "\03ARAT" )
+    ("\20" "\01SENSOR" "\03ARAT" "\07PTS")
 /* Thermal and Power Management (CPUID function 0x6) ECX bits */
 #define	TPM_EFFFREQ	0x00000001	 /* APERF & MPERF MSR present */
 #define TPM_ECX_BITS \