My question is regarding the Model Specific Registers (MSRs) of the Pentium 4 family. I have been refering to the following application note -
IA-32 Intel Architecture, Software Developers Manual,
Volume 3: System Programming Guide
The MSR "IA32_CTL" located at address 0x17B (379)isdescribed asthe "Machine Check Feature Enable".
However, the manual never states the Processor Model (0,1,2 or 3) for which this MSR is available.
Moreover for a HyperThreaded Machine, the manual does not specify whether this MSR is shared / unique among the available logical processors.
Can some one clarify my doubts ?