HOST_FLAGS_OFFSET   26 drivers/gpu/drm/vboxvideo/vbox_irq.c 	return readl(vbox->guest_heap + HOST_FLAGS_OFFSET);
HOST_FLAGS_OFFSET  742 drivers/gpu/drm/vboxvideo/vbox_mode.c 				    HOST_FLAGS_OFFSET);