Constant WHvX64RegisterPendingDebugException 

pub const WHvX64RegisterPendingDebugException: WHV_REGISTER_NAME;