pub const HV_X64_SYSTEM_RESET_RECOMMENDED: u32 = 16;