Intel Pentium 4 Processor 1.40 GHz, 256K Cache, 400 MHz FSB : Intel 64 and IA-32 Architectures Software Developers Manual Volume 2B, Instruction Set Reference, N-Z : Page 420