Constant X86X_MSR_BIOS_UPDT_TRIG

pub const X86X_MSR_BIOS_UPDT_TRIG: u32 = 0x79;