MSR_IA32_LASTINTTOIP

vmm::arch::x86_64::generated::msr_index

Constant MSR_IA32_LASTINTTOIP 

Source 
pub const MSR_IA32_LASTINTTOIP: u32 = 0x1de;