Constant D3DKMT_DEVICESTATE_PAGE_FAULT

pub const D3DKMT_DEVICESTATE_PAGE_FAULT: D3DKMT_DEVICESTATE_TYPE;