How to make OProfile use cpu model P4 when HT is disabled by BIOS

[Santos, J. R. G <jos...@hp...>]

Oprofile assumes cpu type "p4-ht" even when hyperthreading is=20
disabled by the BIOS. Basically oprofile chooses ht mode if
smp_num_siblings > 1. Linux sets this variable based on info
returned by cpuid that informs the maximum number of logical
processors per physical CPU. This is always 2 on an HT capable=20
CPU, regardeless if HT is disabled by the BIOS or not (at least
on my machine).
It would be nice if we detected that hyperthreading is disabled
and used the richer set of events available for the non-ht
version of the "p4" model.
Any suggestions on how we could do that?

Thanks

Renato