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