vde_switch         10 arch/um/drivers/vde.h 	char *vde_switch;
vde_switch         18 arch/um/drivers/vde.h 	char *vde_switch;
vde_switch         25 arch/um/drivers/vde_kern.c 	vpri->vde_switch = init->vde_switch;
vde_switch         31 arch/um/drivers/vde_kern.c 	printk("vde backend - %s, ", vpri->vde_switch ?
vde_switch         32 arch/um/drivers/vde_kern.c 	       vpri->vde_switch : "(default socket)");
vde_switch         76 arch/um/drivers/vde_kern.c 		{ .vde_switch		= NULL,
vde_switch         82 arch/um/drivers/vde_kern.c 	remain = split_if_spec(str, &init->vde_switch, mac_out, &port_str,
vde_switch        107 arch/um/drivers/vde_kern.c 	printk(KERN_INFO "Configured vde device: %s\n", init->vde_switch ?
vde_switch        108 arch/um/drivers/vde_kern.c 	       init->vde_switch : "(default socket)");
vde_switch         21 arch/um/drivers/vde_user.c 	conn = vde_open(pri->vde_switch, pri->descr, pri->args);