[Bug]: SDM 092 CPUID mutable CPUID – MONITOR/MWAIT

SDM 092 Vol 1 table 21-2 on pages 21-3/21-4 (441/442 of 600) in section 21.1.5 lists mutable CPUID fields.

For leaf 5, it lists the two line size fields, as well as two feature flags, ECX[0] and ECX[1].

It fails to list ECX[3] as mutable, for MONITOR-less MWAIT.

And it fails to list leaf 7 sub leaf 1, EDX[23] as mutable, also for MONITOR-less MWAIT.

Last but not least, all of the above (i.e. all mutable leaf 5 fields and bits, and the leaf 7 bit) should be gated by MISC_ENABLE[18]=0 directly rather than by CPUID.1.ECX.MON[3]=0 indirectly – after all, a processor without MONITOR but with (MONITOR-less) MWAIT is possible.

Start with SDM Vol. 1, section 21.1.5 and table 21-2 on pages 21-3/21-4, then inspect how this repository exposes that specification content. Verify the mutable CPUID entries and the MISC_ENABLE gating described in the issue; done means the published table reflects all requested fields and conditions.

Written by the indexing model from the issue text.