Constant WIN32K_ATOMIC_CHECK_FAILURE 

pub const WIN32K_ATOMIC_CHECK_FAILURE: BUGCHECK_ERROR;