pub const HV_X64_GUEST_DEBUGGING_AVAILABLE: u32 = 2;