My two 6D and M5 have less hot pixels at ISO 6400 and above. At 25 seconds exposure hundreds of hot pixels at ISO 3200 and below were reduced 10 times.
Raw samples https://kameratrollet.se/wp-content/uploads/2022/11/hot-pixels-ISO6400vsISO3200.zip
Notice that the hot pixels left at ISO 6400 are the ones in pair at ISO 3200.
7D doesn't have the feature. I wonder if newer cameras like R5/RP also have the feature?