pub const HV_X64_DEBUGGING: u32 = 2048;