3 ms·I remember it as "EM64T", but Wikipedia tells me that is just the marketing name for IA32e. TIL!by tadfisher 4y agoI remember it as "EM64T", but Wikipedia tells me that is just the marketing name for IA32e. TIL!