Constant x86::msr::IA32_MONITOR_FILTER_SIZE

pub const IA32_MONITOR_FILTER_SIZE: u32 = 0x6;

See Section 8.10.5, Monitor/Mwait Address Range Determination, and see Table 35-2.