vc_switch_timeout  759 dev/ic/vga.c   		timeout_set(&vc->vc_switch_timeout,
vc_switch_timeout  761 dev/ic/vga.c   		timeout_add(&vc->vc_switch_timeout, 0);
vc_switch_timeout   62 dev/ic/vgavar.h 	struct timeout vc_switch_timeout;