WMISC_EXPECTED    160 drivers/gpu/drm/mga/mga_warp.c 	if (wmisc != WMISC_EXPECTED) {
WMISC_EXPECTED    162 drivers/gpu/drm/mga/mga_warp.c 			  wmisc, WMISC_EXPECTED);