vgacon_deinit      70 drivers/video/console/vgacon.c static void vgacon_deinit(struct vc_data *c);
vgacon_deinit    1430 drivers/video/console/vgacon.c 	.con_deinit = vgacon_deinit,