Constant MSR_AMD64_VM_PAGE_FLUSH 

pub const MSR_AMD64_VM_PAGE_FLUSH: u32 = 0xc001011e;