Constant DXGK_PAGE_FAULT_ENGINE_RESET_REQUIRED 

pub const DXGK_PAGE_FAULT_ENGINE_RESET_REQUIRED: DXGK_PAGE_FAULT_FLAGS;