bochs_mm_fini      92 drivers/gpu/drm/bochs/bochs.h void bochs_mm_fini(struct bochs_device *bochs);
bochs_mm_fini      25 drivers/gpu/drm/bochs/bochs_drv.c 	bochs_mm_fini(bochs);