vet               114 arch/i386/i386/p4tcc.c 	uint64_t msreg, vet;
vet               126 arch/i386/i386/p4tcc.c 	vet = rdmsr(MSR_THERM_CONTROL);
vet               128 arch/i386/i386/p4tcc.c 	if ((vet & 0x1e) != (msreg & 0x1e))