Constant WHvX64ExceptionTypeDebugTrapOrFault 

pub const WHvX64ExceptionTypeDebugTrapOrFault: WHV_EXCEPTION_TYPE;