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,