Constant HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_MASK 

pub const HV_X64_MSR_HYPERCALL_PAGE_ADDRESS_MASK: i32 = -4096;