pub const HV_X64_POST_MESSAGES: u32 = 16;