Constant X86X_MSR_INTERRUPT_SSP_TABLE_ADDR 

pub const X86X_MSR_INTERRUPT_SSP_TABLE_ADDR: u32 = 0x6a8;