Re: [PATCH v6] i386/cpu: fixup number of addressable IDs for logical processors in the physical package

[Zhao Liu]

> 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” (≥).