hot_X             145 drivers/gpu/drm/vboxvideo/hgsmi_base.c 	p->hot_X = hot_x;
hot_X             320 drivers/gpu/drm/vboxvideo/vboxvideo.h 	u32 hot_X;