bochs_hw_fini      80 drivers/gpu/drm/bochs/bochs.h void bochs_hw_fini(struct drm_device *dev);
bochs_hw_fini      26 drivers/gpu/drm/bochs/bochs_drv.c 	bochs_hw_fini(dev);