> This also is consistency with the SDM, where the comment for bit 23-16 of > CPUID.1:EBX is: > > The nearest power-of-2 integer that is not smaller than EBX[23:16] is > the number of unique initial APIC IDs reserved for addressing > different logical processors in a physical package. > > What I read from this is, the nearest power-of-2 integer that is not smaller > than EBX[23:16] is a different thing than EBX[23:16]. i.e.,
“not smaller” means “greater than or equal to” (≥).
