Constant WHvX64ExceptionTypePageFault 

pub const WHvX64ExceptionTypePageFault: WHV_EXCEPTION_TYPE;