Constant X86X_MSR_BIOS_UPDT_TRIG 

pub const X86X_MSR_BIOS_UPDT_TRIG: u32 = 0x79;