Constant WHvX64ExceptionTypeDeviceNotAvailableFault 

pub const WHvX64ExceptionTypeDeviceNotAvailableFault: WHV_EXCEPTION_TYPE;