idle task running on the wrong CPU

[Colin Percival]

Kris Kennaway wrote:
> It was pointed out that machdep.hyperthreading_allowed=1 fixes this
> bug (it was set to 0).  However, hyperthreading was already in use
> (partly), because this machine has 2 physical CPUs with HTT, and CPUs
> 0, 2 and 3 were running jobs.
> 
> Looks like machdep.hyperthreading_allowed=0 does not work as intended.

That's odd.  Can you tell me what values the hyperthreading_cpus_mask
and hyperthreading_cpus variables in mp_machdep.c have, and what values
PCPU_GET(cpumask) returns on the various (virtual) cpus?

Colin Percival