Constant D3DKMT_DEVICESTATE_PAGE_FAULT 

pub const D3DKMT_DEVICESTATE_PAGE_FAULT: D3DKMT_DEVICESTATE_TYPE;