vgacon_switch      72 drivers/video/console/vgacon.c static int vgacon_switch(struct vc_data *c);
vgacon_switch    1436 drivers/video/console/vgacon.c 	.con_switch = vgacon_switch,