Constant HV_X64_MSR_VP_ASSIST_PAGE_ENABLE 

pub const HV_X64_MSR_VP_ASSIST_PAGE_ENABLE: u32 = 0x1;