Volume 3 make reference to the PCIDE bit of CPUID page 1 in the ECX register, however, in the table for CPUID page 1 for the ECX register, there is no PCIDE bit documented. I assume this is intended to be bit 17 of ECX, as this is what intel has for it, however, as there is no documentation I cannot be sure
