pub const HV_X64_ADJUST_MESSAGE_BUFFERS: u32 = 8;