Re: [patch-2.4.0-test12-pre3] microcode update for P4 (fwd)

Alan Cox
2000-12-02T13:39:35Z

> Please call these MSR_* instead, "IA32_*" isn't very descriptive,
> besides, the preferred prefix in existing locations in the Linux
> kernel is "X86_", e.g. X86_EFLAGS_IF or X86_CR4_PSE. I think there

I think I agree with Tigran's naming. These are IA32 registers not X86 ones ;)